[NUCLEO_xxx] Fix issue with us_ticker_read() when -O3 -Otime options are used.