arches with and without kern_cptime2. fixes single-processor i386/amd64. with some help from Willem Dijkstra (symon author), ok simon