tcl/board: fix changed target config filenames