RE: 32-bit uptime counter?