[alerighi]

Yes, and if for some reason then you clear the CMOS (BIOS configuration error, discharged battery, or whatever) you can no longer boot your PC because the boot information regarding the parameters to pass to the kernel is lost...

[floatboth]

That's why EFI variables should never be used. Just put whatever you want to boot into BOOTX64.EFI!

[hollander]

Ah the lovely naming hacks of UEFI. :-P I remember the troubles it took to boot Ubuntu on a Lenovo laptop because the EFI was 32 bit, while the system supported 64 bit.

[floatboth]

Yeah, old devices with 32-bit EFI…

I have a Mac mini 2006 (upgraded to 2007). I compiled GRUB 2 for 32-bit EFI and it boots 64-bit FreeBSD from ZFS just fine :)

[JdeBP]

EFI variables are not stored in the "CMOS", note (misnomer that that is). They are stored in flash RAM.

* https://superuser.com/a/708332/38062

[swiley]

Then just select it again? It's maybe 4 key presses unless you have a lot of .efi files laying around...