Yes, that's how it should be, especially after I discovered why all GRUB distros couldn't install on my machine.In fact, I think there is a move to package kernels as .efi files and let the UEFI firmware boot it directly. In an EFI world, what value does GRUB add? Anything beyond what an EFI shell would provide?