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