[Bug 1188592] New: Tumbleweed cannot boot with 32-bit EFI (and 64bit kernel)