Re: [PATCH 12/16] efi_loader: optional pointer for ConvertPointer