Updated Kernel Support doc to allow programs to run for unbounded cycles.

- Now, if the program counter timer holds the maximum possible value, it will
  not be decremented, and will thus allow the program to run for an unbounded
  number of cycles without triggering a fault.
- Some minor clarifications were added to the documentation for other things.