[    9.591538] pci 0000:01:00.0: PCI INT A -> GSI 18 (level, low) -> IRQ 18
[    9.631750] CPU0 attaching NULL sched-domain.
[    9.631756] CPU1 attaching NULL sched-domain.
[    9.631758] CPU2 attaching NULL sched-domain.
[    9.701328] CPU0 attaching sched-domain:
[    9.701331]  domain 0: span 0-2 level MC
[    9.701333]   groups: 0 1 2
[    9.701338] CPU1 attaching sched-domain:
[    9.701339]  domain 0: span 0-2 level MC
[    9.701341]   groups: 1 2 0
[    9.701343] CPU2 attaching sched-domain:
[    9.701345]  domain 0: span 0-2 level MC
[    9.701346]   groups: 2 0 1
[   11.371893] CPU0 attaching NULL sched-domain.
[   11.371899] CPU1 attaching NULL sched-domain.
[   11.371901] CPU2 attaching NULL sched-domain.
[   11.402604] CPU0 attaching sched-domain:
[   11.402609]  domain 0: span 0-2 level MC
[   11.402611]   groups: 0 1 2
[   11.402616] CPU1 attaching sched-domain:
[   11.402618]  domain 0: span 0-2 level MC
[   11.402619]   groups: 1 2 0
[   11.402623] CPU2 attaching sched-domain:
[   11.402624]  domain 0: span 0-2 level MC
[   11.402625]   groups: 2 0 1
[   11.535695] hda-intel: IRQ timing workaround is activated for card #1. Suggest a bigger bdl_pos_adj.
[   19.880023] eth0: no IPv6 routers present