[Tee-dev] [PATCH v1 5/6] libxl: create DTS node for OP-TEE if it is enabled