Dell XPS 13 (9010) with Arch Linux / Error Bios bug

Hi,

I recently encountered an error with my new machine which is running with Arch Linux. It started after a reboot with a glitched display right after grub bootloader.

I haven't solved the error yet, but what it shows in my journal is some Error message with the BIOS.

Nov 12 18:58:08 arch-digit-mobile kernel: DMAR: [Firmware Bug]: Your BIOS is broken; DMAR reported at address 0!
BIOS vendor: Dell Inc.; Ver: 1.1.1; Product Version: 

 I don't know if this is the right place to address those occurrences. 

Regards

EDIT:

Just found a fatal error with an additional reference to the firmware.

Nov 12 18:58:08 arch-digit-mobile kernel: BERT: Error records from previous boot:
Nov 12 18:58:08 arch-digit-mobile kernel: [Hardware Error]: event severity: fatal
Nov 12 18:58:08 arch-digit-mobile kernel: [Hardware Error]:  Error 0, type: fatal
Nov 12 18:58:08 arch-digit-mobile kernel: [Hardware Error]:   section_type: Firmware Error Record Reference
Nov 12 18:58:08 arch-digit-mobile kernel: [Hardware Error]:   Firmware Error Record Type: SOC Firmware Error Record Type2
Nov 12 18:58:08 arch-digit-mobile kernel: [Hardware Error]:   Revision: 2
Nov 12 18:58:08 arch-digit-mobile kernel: [Hardware Error]:   Record Identifier: 8f87f311-c998-4d9e-a0c4-6065518c4f6d