u-boot/tools/binman/test/222_tee_os.dts