tcl/target/stm32f4x: fix hardcoded chip name
[fw/openocd] / .github /
drwxr-xr-x   ..
drwxr-xr-x - workflows