[    0.000000] RCU: Adjusting geometry for rcu_fanout_leaf=16, nr_cpu_ids=32
[    0.000000] NR_IRQS:4352 nr_irqs:1224 16
[    0.000000] Console: colour dummy device 80x25
--
[    5.710907] vesafb: Truecolor: size=0:5:6:5, shift=0:11:5:0
[    5.710928] vesafb: framebuffer at 0xfc800000, mapped to 0xffffc90000800000, using 3072k, total 8192k
[    5.864580] Console: switching to colour frame buffer device 128x48