#2 KernelTimer should use a port-defined integer type

[moslevin]

Some of these methods would be better served using an abstract integer type that is defined in the port-specific timer code.