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