WIP for stm32f4 watchdog timer