➜

The external link www.virtualbox.org/manual/ch08.html#vboxmanage-modifynvram for VirtualBox saved EFI BIOS settings seems to be broken.

Go to a cached version of that page on archive.org.

Google search results for "VirtualBox saved EFI BIOS settings virtualbox.org"