tcl/target/stm32f4x: fix name