efi_32.c 7.32 KB