Re: [PATCH 1/9] sandbox: efi_loader: Correct use of addresses as pointers