Current openSUSE kernels have CONFIG_EFI_MIXED (support for 32-bit UEFI in x86_64 kernel) disabled. This was set when the option was introduced in 3.15 with comment "do we use a bootloader that can support it?" However, while grub2 can boot x86_64 kernel under 32-bit UEFI even without CONFIG_EFI_MIXED, the option is needed for kernel to access efivars (needed for efibootmgr and therefore grub2-install) and UEFI services. So I would like to suggest enabling CONFIG_EFI_MIXED; it's only available on x86_64 but I'm not sure which flavours: default, desktop, debug and vanilla should have it, xen and ec2 can't; I'm not sure about pv: would support for EFI mixed mode make any sense there? Michal Kubeček -- To unsubscribe, e-mail: opensuse-kernel+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-kernel+owner@opensuse.org