efi_32.c 7.3 KB