/* number of CPUs configured */