add build kerneldeb -- modify dts

hc

2023-10-25 6c2073b7aa40e29d0eca7d571dd7bc590c7ecaa7

1
2
3
# Note that it is important that that $(BINARY) is set before we include
# ta_dev_kit.mk. In the optee_test this is done in the individual TA Makefiles.
include $(TA_DEV_KIT_DIR)/mk/ta_dev_kit.mk