Re: [PATCH 00/13] efi: Tidy up confusion between pointers and addresses