Kernel: Merge 16-bit and 32-bit tick counters into one structure
Merge pull request #31 from willsowerbutts/tickunion

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