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