efi_32.c 2.2 KB