[Bug 963600] New: make Leap bootable on 32bit UEFI machines