[PATCH v5 17/28] efi: Mention that efi_info_get() is only used in the stub