tcl/target/stm32f4x: fix hardcoded chip name