[   14.356501] vboxdrv: Trying to deactivate the NMI watchdog permanently...
[   14.356506] vboxdrv: Successfully done.
[   14.356508] vboxdrv: Found 2 processor cores.
[   14.356948] VBoxDrv: dbg - g_abExecMemory=ffffffffa03f6ca0
[   14.356966] vboxdrv: fAsync=1 offMin=0x7ae2 offMax=0x7ae2
[   14.357600] vboxdrv: TSC mode is 'asynchronous', kernel timer mode is 'normal'.
[   14.357604] vboxdrv: Successfully loaded version 3.2.6 (interface 0x00140001).
[   14.661856] ppdev: user-space parallel port driver
[   14.847815] CPU0 attaching NULL sched-domain.
[   14.847822] CPU1 attaching NULL sched-domain.
[   14.910085] CPU0 attaching sched-domain:
[   14.910090]  domain 0: span 0-1 level MC
[   14.910093]   groups: 0 1
[   14.910099] CPU1 attaching sched-domain:
[   14.910101]  domain 0: span 0-1 level MC
[   14.910104]   groups: 1 0
[   17.356239] CPU0 attaching NULL sched-domain.
[   17.356248] CPU1 attaching NULL sched-domain.
[   17.410152] CPU0 attaching sched-domain:
[   17.410156]  domain 0: span 0-1 level MC
[   17.410159]   groups: 0 1
[   17.410166] CPU1 attaching sched-domain:
[   17.410168]  domain 0: span 0-1 level MC
[   17.410170]   groups: 1 0
[   17.738272] hda-intel: Invalid position buffer, using LPIB read method instead.
[   17.738298] hda-intel: IRQ timing workaround is activated for card #1. Suggest a bigger bdl_pos_adj.