current implementation for stm32h7 soc has REQUIRES_FULL_LIBC enabled in soc/arm/st_stm32/stm32h7/Kconfig.series. Can someone tell me a reason for this? I have found that it is also in drivers/counter/Kconfig.stm32_rtc so I expect that stm32 HAL (or LL) for counter depends on full libc?