[    1.630158] clocksource: tsc: mask: 0xffffffffffffffff max_cycles: 0x2fbdaeaf6e9, max_idle_ns: 440795311350 ns
[    1.890638] Console: switching to colour frame buffer device 240x67
[    1.893432] i915_bpo 0000:00:02.0: fb0: inteldrmfb frame buffer device
[    2.630908] clocksource: Switched to clocksource tsc
[    2.810703] [drm] RC6 on
[   40.450358] random: nonblocking pool is initialized
[   91.678227] md: linear personality registered for level -1
[   91.680125] md: multipath personality registered for level -4
[   91.681598] md: raid0 personality registered for level 0
[   91.683403] md: raid1 personality registered for level 1