Add reboot menu to power menu, (2/2):

By DvTonder and OmniRom

Advanced reboot menu, (reboot, reboot to recovery or reboot to bootloader)
can be enabled in the Development settings,
when enabled, the Advanced reboot menu will only be available once the
device is unlocked, reboot the device is available at any time.