TAIFG should count the overflows, instead of using the first CCR for this purpose. Without this commit ARCH_MAXTIMERS returns the wrong number as effectively one timer less can be used. Additional fixed comment style and added timer debug.