* Currently, because DTC_EXT make flag is in the kernel task the only way to override it is to have TARGET_KERNEL_ADDITIONAL_FLAGS come after. Change-Id: If62ed979581dc07eafd4628ce2b2d799388d3704
* Currently, because DTC_EXT make flag is in the kernel task the only way to override it is to have TARGET_KERNEL_ADDITIONAL_FLAGS come after. Change-Id: If62ed979581dc07eafd4628ce2b2d799388d3704