efi_32.c 19.4 KB