tcl/target/stm32f7x: configure faster system clock in reset-init