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