submenu "Power" --class=debug_power --class=F5tool {
    menuentry Reboot --class=debug_reboot --class=debug_power --class=F5tool {
        echo -e '\n\nSystem is rebooting ... \n'
        sleep 1
        reboot
    }

    menuentry Halt --class=debug_halt --class=debug_power --class=F5tool {
        echo -e '\n\nSystem is halting ... \n'
        sleep 1
        halt
    }
    
    if [ "$grub_platform" != "pc" ]; then
        menuentry 'Reboot to EFI setup' --class=debug_efisetup --class=debug_power --class=F5tool {            
            echo -e '\n\nRebooting to enter UEFI firmware setup ... \n'
            sleep 1
            fwsetup
        }
    fi

    menuentry 'Return to previous menu [Esc]' --class=vtoyret VTOY_RET {
        echo 'Return ...'
    }
}