EFI 32-bit