Fix overflow in rtapi_get_time

As reported by Michael H.