[kbuild-all] Re: [PATCH] fTPM: make sure TEE is initialized before fTPM