cosmetic indenting
Added preprocessor definitions to enable DEBUG only code
New dbg code that dumps the kernel task status
Fixed critical section in the system timer interrupt handler that could be interrupted by a higher pri interrupt