Fix typo in copyright notice

Screwed up with sed.
Generic kernel timers

Improved implementation of kernel timers.  Any number of timers with
arbitrary callbacks may be added at run time.  (Previously timer classes
had to be added at compile time, and only a fixed number could be active
simultaneously.)

This implementation also uses list.h, greatly simplifying the code.