Timekeeping: fix 32-bit overflow in get_monotonic_boottime