SBDP_DBG_CPU
SBDP_DBG_CPU("%s: COLD START for cpu (%d)\n", f, cpuid);
SBDP_DBG_CPU("after restarting other cpus\n");
SBDP_DBG_CPU("%s: waited %d out of %d loops for cpu %d\n",
SBDP_DBG_CPU("cpuid=0x%x, portid=0x%x, impl=0x%x, device_type=%s",