Fix 32bit overflow in get_monotonic_boottime