[openFATE 318252] 32-bit UEFI boot in 64-bit Distro