[    0.000000] SMP: Allowing 2 CPUs, 0 hotplug CPUs
[    0.000000] setup_percpu: NR_CPUS:256 nr_cpumask_bits:256 nr_cpu_ids:2 nr_node_ids:1
[    0.000000] PERCPU: Embedded 28 pages/cpu @ffff8800ae400000 s84416 r8192 d22080 u1048576
[    0.000000] SLUB: Genslabs=15, HWalign=64, Order=0-3, MinObjects=0, CPUs=2, Nodes=1
[    0.000000] 	RCU-based detection of stalled CPUs is disabled.
[    0.013753] CPU: Physical Processor ID: 0
[    0.013754] CPU: Processor Core ID: 0
[    0.013756] mce: CPU supports 6 MCE banks
[    0.013764] CPU0: Thermal monitoring enabled (TM2)
[    0.134497] CPU0: Intel(R) Core(TM)2 Duo CPU     P8700  @ 2.53GHz stepping 0a
[    5.207808] CPU1: Not responding.
[    5.207848] Brought up 1 CPUs
[    5.309992] Switched to NOHz mode on CPU #0
[  198.597887] Disabling non-boot CPUs ...