Re: [PATCH] tee: Refactor TEE subsystem header files