add TARGET_KERNEL_DTS_FILES