Kernel: Merge 16-bit and 32-bit tick counters into one structure