Add options to reboot to specific OS/boot menu option #112
Description
Implement functionality from https://extensions.gnome.org/extension/5105/reboottouefi/
{{ message }}
Implement functionality from https://extensions.gnome.org/extension/5105/reboottouefi/