[0.000000] ACPI: DMAR 00000000c5161bc0 00070 (v01 INTEL      SKL  00000001 INTL 00000001)
[0.036040] DMAR: Host address width 39
[0.036041] DMAR: DRHD base: 0x000000fed90000 flags: 0x1
[0.036047] DMAR: dmar0: reg_base_addr fed90000 ver 1:0 cap d2008c40660462 ecap f050da
[0.036048] DMAR: RMRR base: 0x000000cea09000 end: 0x000000cea28fff
[0.036049] DMAR-IR: IOAPIC id 2 under DRHD base  0xfed90000 IOMMU 0
[0.036050] DMAR-IR: HPET id 0 under DRHD base 0xfed90000
[0.036051] DMAR-IR: x2apic is disabled because BIOS sets x2apic opt out bit.
[0.036051] DMAR-IR: Use 'intremap=no_x2apic_optout' to override the BIOS setting.
[0.037357] DMAR-IR: Enabled IRQ remapping in xapic mode
[5.356945] vboxpci: IOMMU not found (not registered)