This patch makes the kernel bootable again on ia32 EFI systems. Signed-off-by: Edgar Hucek