[PATCH v3 0/4] TEE driver for Trusted Services