Hi Chris: Yes, Bios support is enabled under the Config arrow.
Hi Captain: I saw that update, too, and considered it, but I agree it may not be much use. Startup shows Boot, Network, Boot Mode (I've tried both 'quick' and 'diagnostics'), Option Keys Display, and Boot device List F12 Option...