if [ $grub_platform = 'efi' ]; then
    menuentry 'System BIOS setup' {
        fwsetup
    }
fi
menuentry "Shutdown computer" {
    halt
}
menuentry "Reboot computer" {
    reboot
}
