[Bug 963600] make Leap bootable on 32bit-UEFI (but 64bit CPU) machines