[PATCH v2 0/3] TEE driver for Trusted Services