Re: [v6 01/12] sandbox: efi_loader: Correct use of addresses as pointers