[PATCH v5 13/28] efi: Add a few comments to the stub