FIXME: Writing CPU registers on M4 of STM32H745 seems not to work.
Stlink firmware needs to be recent.