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