Remove either duplicate settings between arch & board, or just set HAS_DTS at the arch level since all the boards for a given arch support DTS now. Signed-off-by: Kumar Gala <kumar.gala@linaro.org>