Re: 32-bit uptime counter?