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