tcl/target/stm32f4: ramp up JTAG speed, HSI is 16MHz there