[coreboot] it's now called "microEFI" by the way

[ron minnich]

uEFI now means micro-EFI. Not to be confused with UEFI, the "Universal" EFI.

What's in a letter :-)

So I wonder how much of EFI is stripped out to make it micro? Of
course, even if I knew, the agreements might make it impossible for me
to say.

ron