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

Unified 16/32 bit ticks