Alright! So, I'll check this.Maybe your Proxmox system does not use GRUB, as was the case for this person in this thread?
I'll try creating cmdline file and adding the entry in that. However, just checked that I get the following output for this command before making the changes.
dmesg | grep -e DMAR -e IOMMU
[ 0.013228] ACPI: DMAR 0x000000006F7F0000 0001B8 (v01 DELL PE_SC3 00000001 DELL 00000001)
[ 0.013276] ACPI: Reserving DMAR table memory at [mem 0x6f7f0000-0x6f7f01b7]
[ 1.191593] DMAR: Host address width 46
[ 1.191595] DMAR: DRHD base: 0x000000d37fc000 flags: 0x0
[ 1.191603] DMAR: dmar0: reg_base_addr d37fc000 ver 1:0 cap 8d2078c106f0466 ecap f020df
[ 1.191608] DMAR: DRHD base: 0x000000e0ffc000 flags: 0x0
[ 1.191612] DMAR: dmar1: reg_base_addr e0ffc000 ver 1:0 cap 8d2078c106f0466 ecap f020df
[ 1.191616] DMAR: DRHD base: 0x000000ee7fc000 flags: 0x0
[ 1.191620] DMAR: dmar2: reg_base_addr ee7fc000 ver 1:0 cap 8d2078c106f0466 ecap f020df
[ 1.191623] DMAR: DRHD base: 0x000000fbffc000 flags: 0x0
[ 1.191628] DMAR: dmar3: reg_base_addr fbffc000 ver 1:0 cap 8d2078c106f0466 ecap f020df
[ 1.191631] DMAR: DRHD base: 0x000000aaffc000 flags: 0x0
[ 1.191636] DMAR: dmar4: reg_base_addr aaffc000 ver 1:0 cap 8d2078c106f0466 ecap f020df
[ 1.191638] DMAR: DRHD base: 0x000000b87fc000 flags: 0x0
[ 1.191643] DMAR: dmar5: reg_base_addr b87fc000 ver 1:0 cap 8d2078c106f0466 ecap f020df
[ 1.191646] DMAR: DRHD base: 0x000000c5ffc000 flags: 0x0
[ 1.191650] DMAR: dmar6: reg_base_addr c5ffc000 ver 1:0 cap 8d2078c106f0466 ecap f020df
[ 1.191653] DMAR: DRHD base: 0x0000009d7fc000 flags: 0x1
[ 1.191657] DMAR: dmar7: reg_base_addr 9d7fc000 ver 1:0 cap 8d2078c106f0466 ecap f020df
[ 1.191661] DMAR: RMRR base: 0x0000006e2c9000 end: 0x0000006e7c8fff
[ 1.191663] DMAR: RMRR base: 0x0000006f0c0000 end: 0x0000006f0c2fff
[ 1.191666] DMAR: [Firmware Bug]: No firmware reserved region can cover this RMRR [0x000000006f0c0000-0x000000006f0c2fff], contact BIOS vendor for fixes
[ 1.191669] DMAR: [Firmware Bug]: Your BIOS is broken; bad RMRR [0x000000006f0c0000-0x000000006f0c2fff]
[ 1.191674] DMAR: ATSR flags: 0x0
[ 1.191678] DMAR-IR: IOAPIC id 12 under DRHD base 0xc5ffc000 IOMMU 6
[ 1.191680] DMAR-IR: IOAPIC id 11 under DRHD base 0xb87fc000 IOMMU 5
[ 1.191682] DMAR-IR: IOAPIC id 10 under DRHD base 0xaaffc000 IOMMU 4
[ 1.191684] DMAR-IR: IOAPIC id 18 under DRHD base 0xfbffc000 IOMMU 3
[ 1.191686] DMAR-IR: IOAPIC id 17 under DRHD base 0xee7fc000 IOMMU 2
[ 1.191688] DMAR-IR: IOAPIC id 16 under DRHD base 0xe0ffc000 IOMMU 1
[ 1.191690] DMAR-IR: IOAPIC id 15 under DRHD base 0xd37fc000 IOMMU 0
[ 1.191692] DMAR-IR: IOAPIC id 8 under DRHD base 0x9d7fc000 IOMMU 7
[ 1.191694] DMAR-IR: IOAPIC id 9 under DRHD base 0x9d7fc000 IOMMU 7
[ 1.191696] DMAR-IR: HPET id 0 under DRHD base 0x9d7fc000
[ 1.191699] DMAR-IR: x2apic is disabled because BIOS sets x2apic opt out bit.
[ 1.191700] DMAR-IR: Use 'intremap=no_x2apic_optout' to override the BIOS setting.
[ 1.193325] DMAR-IR: Enabled IRQ remapping in xapic mode
It says BIOS is broken. Is it normal? Can this be the reason for this issue?