[bradfa]

That just defines what the Linux kernel will be able to do, it doesn't necessarily imply that the hardware is using UEFI for firmware to launch another bootloader or OS.