cpu/arm/stm32-ocm3/clock.c (inner_delay_usec_one): try a better fix