[Tee-dev] [PATCH 2/4] tee: add AMD-TEE driver