[PATCH v6 12/27] efi: Add a few comments to the stub