fixes in cpuint.c + extra cpus