Re: [PATCH v4 04/25] efi_loader: Add comments where incorrect addresses are used