Skip showing Boot Menu at boot
Streamlining the boot experience by skipping the menu at boot (and skipping the need to press enter to boot) would save time at boot.
We ought to presume all is well, when the Librem Key is inserted and so forth, and boot right to the OS, only dropping to the Boot Menu when there is an HOTP error or if the user is making use of TOTP.
This could be coupled with an configuration where pressing a key prior to or during boot will proceed to the boot menu, similar to how pressing F12 for example, on a lot of systems takes one to the BIOS.