tools/mkimage: Make the path to the dtc binary that mkimage calls configurable