Backporting: Fixed critical bug in __of1x_get_time_ms() for 32bit compilers leading to dead-lock in timers.