So, on STM32, fixing the SysTick calculation using AHB prescaler would introduce the risk of potential desynchro with other subsystem implemented in Zephyr with system tick (ie STM32 HCLK) while on STM32 it is actually using SYSCLK from HW point of view. Safest solution would then be to ...