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