Re: [PATCH 08/13] efi_loader: Tidy up use of addresses