[ 4213.212995] CPU0 attaching NULL sched-domain.
[ 4213.213001] CPU1 attaching NULL sched-domain.
[ 4213.240127] CPU0 attaching sched-domain:
[ 4213.240132]  domain 0: span 0-1 level MC
[ 4213.240137]   groups: 0 1
[ 4213.240146] CPU1 attaching sched-domain:
[ 4213.240150]  domain 0: span 0-1 level MC
[ 4213.240154]   groups: 1 0
[ 4216.052027] eth1: no IPv6 routers present
[ 4219.775223] vboxdrv: Found 2 processor cores.
[ 4219.776013] vboxdrv: fAsync=0 offMin=0x1ce offMax=0x2d76
[ 4219.776880] vboxdrv: TSC mode is 'synchronous', kernel timer mode is 'normal'.
[ 4219.776883] vboxdrv: Successfully loaded version 4.0.0 (interface 0x00160000).
[ 4223.249125] CPU0 attaching NULL sched-domain.
[ 4223.249133] CPU1 attaching NULL sched-domain.
[ 4223.272079] CPU0 attaching sched-domain:
[ 4223.272083]  domain 0: span 0-1 level MC
[ 4223.272085]   groups: 0 1
[ 4223.272091] CPU1 attaching sched-domain:
[ 4223.272093]  domain 0: span 0-1 level MC
[ 4223.272095]   groups: 1 0