Change us_ticker timer (32-bit) on Nucleo L152RE and F401RE 

This change solves the wrong timings issue with the Ticker.