optee device tree and tee driver