[Tee-dev] [PATCH v2] optee: model OP-TEE as a platform device/driver