tcl/board: add TI Tiva C ek-tm4c1294xl config