Re: [opensuse-kernel] CONFIG_EFI_MIXED (x86_64 kernel vs. 32-bit UEFI)