../efi_loader/efi_freestanding.c