with new kern/kern_cctr.c in TODO comments - also replace struct cc_microtime_state member in struct cpu_info with struct cctr_state defined in <sys/cctr.h>, which is unused yet in this port
