[PATCH 10/15] efi_loader: Add support for logging EFI calls