85xx if NUM_CPUS>1, print cpu number