[Tee-dev] [PATCH v4 1/4] tee: add bus driver framework for TEE based devices