Make bootmenu provide its own full libreboot.
Allow having a device-specific hook in libreboot.
Use libreboot to reboot.

Allows the device-specific hook to carry out pre-reboot actions.