Kernel: Whitespace fix for start.c
Kernel: Increment both 16-bit and 32-bit tick counters on every timer interrupt