It was renamed in the Zed release to selinux_do_reboot. Change-Id: I6504337fd44e83120a201ae5b77cc030cb7738be