timekeeping: fix 32-bit overflow in get_monotonic_boottime (Change-Id: Ic996d8b6fbef0b72f2d027b0d8ef5259b5c1a540)