**Describe the bug** stm32h747i_disco was under review when https://github.com/zephyrproject-rtos/zephyr/pull/16782 got merged. As a consequence it is using old default tick rate. This should be fixed.
