Merge pull request #360 from gingold-adacore/stm32f7-regs