boot loader settings

Hello.

no option in kernel line parameter

févr. 19 18:55:44 linux-pkow kernel: DMAR: Host address width 39
févr. 19 18:55:44 linux-pkow kernel: DMAR: DRHD base: 0x000000fed90000 flags: 0x0
févr. 19 18:55:44 linux-pkow kernel: DMAR: dmar0: reg_base_addr fed90000 ver 1:0 cap c0000020660462 ecap f0101a
févr. 19 18:55:44 linux-pkow kernel: DMAR: DRHD base: 0x000000fed91000 flags: 0x1
févr. 19 18:55:44 linux-pkow kernel: DMAR: dmar1: reg_base_addr fed91000 ver 1:0 cap d2008c20660462 ecap f010da
févr. 19 18:55:44 linux-pkow kernel: DMAR: RMRR base: 0x000000acc8d000 end: 0x000000acc9afff
févr. 19 18:55:44 linux-pkow kernel: DMAR: RMRR base: 0x000000af000000 end: 0x000000bf1fffff
févr. 19 18:55:44 linux-pkow kernel: DMAR-IR: IOAPIC id 8 under DRHD base  0xfed91000 IOMMU 1
févr. 19 18:55:44 linux-pkow kernel: DMAR-IR: HPET id 0 under DRHD base 0xfed91000
févr. 19 18:55:44 linux-pkow kernel: DMAR-IR: x2apic is disabled because BIOS sets x2apic opt out bit.
févr. 19 18:55:44 linux-pkow kernel: DMAR-IR: **Use 'intremap=no_x2apic_optout' to override the BIOS setting.**
févr. 19 18:55:44 linux-pkow kernel: DMAR-IR: Enabled IRQ remapping in xapic mode
févr. 19 18:55:44 linux-pkow kernel: x2apic: IRQ remapping doesn't support X2APIC mode
févr. 19 18:55:44 linux-pkow kernel: ..TIMER: vector=0x30 apic1=0 pin1=2 apic2=-1 pin2=-1
févr. 19 18:55:44 linux-pkow kernel: TSC deadline timer enabled
févr. 19 18:55:44 linux-pkow kernel: smpboot: CPU0: Intel(R) Core(TM) i5-4690K CPU @ 3.50GHz (family: 0x6, model: 0x3c, stepping: 0x3)

With intremap=no_x2apic_optout

févr. 19 18:46:31 linux-pkow kernel: DMAR: Host address width 39
févr. 19 18:46:31 linux-pkow kernel: DMAR: DRHD base: 0x000000fed90000 flags: 0x0
févr. 19 18:46:31 linux-pkow kernel: DMAR: dmar0: reg_base_addr fed90000 ver 1:0 cap c0000020660462 ecap f0101a
févr. 19 18:46:31 linux-pkow kernel: DMAR: DRHD base: 0x000000fed91000 flags: 0x1
févr. 19 18:46:31 linux-pkow kernel: DMAR: dmar1: reg_base_addr fed91000 ver 1:0 cap d2008c20660462 ecap f010da
févr. 19 18:46:31 linux-pkow kernel: DMAR: RMRR base: 0x000000acc8d000 end: 0x000000acc9afff
févr. 19 18:46:31 linux-pkow kernel: DMAR: RMRR base: 0x000000af000000 end: 0x000000bf1fffff
févr. 19 18:46:31 linux-pkow kernel: DMAR-IR: IOAPIC id 8 under DRHD base  0xfed91000 IOMMU 1
févr. 19 18:46:31 linux-pkow kernel: DMAR-IR: HPET id 0 under DRHD base 0xfed91000
févr. 19 18:46:31 linux-pkow kernel: DMAR-IR: Queued invalidation will be enabled to support x2apic and Intr-remapping.
févr. 19 18:46:31 linux-pkow kernel: DMAR-IR: Enabled IRQ remapping in x2apic mode
févr. 19 18:46:31 linux-pkow kernel: x2apic enabled
févr. 19 18:46:31 linux-pkow kernel: Switched APIC routing to cluster x2apic.
févr. 19 18:46:31 linux-pkow kernel: ..TIMER: vector=0x30 apic1=0 pin1=2 apic2=-1 pin2=-1

Which config is better, or may I just ignore the intremap parameter.

Any help is welcome.