[NUCLEO_F401RE] Change us_ticker timer (32-bit one)

Remove also the disable/enable timer update IT in sleep (no more
necessary).