[Bug 1192767] New: Kernel boot logging gets mixed up when bringing up CPUs on SMP system