Собираю ядро с опцией EFI_STUB. Пробовал последнее gentoo-sources и последнее hardened-sources. bzImage, который собирается в итоге, видится через file как Linux kernel x86 boot executable bzImage. А bootx64.efi, лежащий на livedvd - PE32 executable (EFI application), как и должно быть. В чем дело? CONFIG_EFI_STUB сдохла, а я провтыкал новости об этом?