Add support for TEE target