//=time() ?>
Booting to BIOS. Credit https://t.co/lkQZ9Z1vr5 Linux users can try the following command to reboot to the UEFI setup (may not work on older system or when UEFI disabled or when using non-systemd distro):
sudo systemctl reboot --firmware-setup
RT if you love Linux/Unix Terminal forever. Credit https://t.co/XacLPpnTBP