Re: [PATCH v7 09/24] efi: Add a few comments to the stub