32 bit EFI