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):
— nixCraft 🐧 (@nixcraft) June 3, 2020
sudo systemctl reboot –firmware-setup pic.twitter.com/vjRCpY3CS0