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