Brauche ich ein BIOS Update ?

[Saebelzahltieger]

Hallo

Ich habe mal meine /var/log/messages datei durchforstet und da fiel mir
das hier auf. Mein Motherboard ist ein asus rampage II Extreme. Soll ich
das mal an asus schicken ?

----------------------------------------------------------------------


May 12 06:41:21 debian kernel: [ 0.004330] ACPI: Core revision
20131115
May 12 06:41:21 debian kernel: [ 0.007971] ACPI: All ACPI Tables
successfully acquired
May 12 06:41:21 debian kernel: [ 0.034085] dmar: Host address
width 39
May 12 06:41:21 debian kernel: [ 0.034088] dmar: DRHD base:
0x000000fbfff000 flags: 0x0
May 12 06:41:21 debian kernel: [ 0.034096] dmar: IOMMU 0:
reg_base_addr fbfff000 ver 1:0 cap c9008010e60262 ecap f0207a
May 12 06:41:21 debian kernel: [ 0.034098] dmar: DRHD base:
0x000000fbffe000 flags: 0x1
May 12 06:41:21 debian kernel: [ 0.034105] dmar: IOMMU 1:
reg_base_addr fbffe000 ver 1:0 cap c90780106f0462 ecap f020fe
May 12 06:41:21 debian kernel: [ 0.034107] dmar: RMRR base:
0x000000000ec000 end: 0x000000000effff
May 12 06:41:21 debian kernel: [ 0.034108] dmar: RMRR base:
0x000000bf7dc000 end: 0x000000bf7dbfff
May 12 06:41:21 debian kernel: [ 0.034109] dmar: ATSR flags: 0x0
May 12 06:41:21 debian kernel: [ 0.034226] This system BIOS has
enabled interrupt remapping
May 12 06:41:21 debian kernel: [ 0.034226] on a chipset that
contains an erratum making that
May 12 06:41:21 debian kernel: [ 0.034226] feature unstable. To
maintain system stability
May 12 06:41:21 debian kernel: [ 0.034226] interrupt remapping is
being disabled. Please
May 12 06:41:21 debian kernel: [ 0.034226] contact your BIOS vendor
for an update
May 12 06:41:21 debian kernel: [ 0.034298] Switched APIC routing to
physical flat.
May 12 06:41:21 debian kernel: [ 0.034792] ..TIMER: vector=0x30
apic1=0 pin1=2 apic2=-1 pin2=-1

[fragenfrager]

Wieso gleich wegschicken? Moderne Motherboards können doch per Diskette oder USB Stick geflasht werden? Schau mal in das Handbuch rein.

ASUS EZ Flash 2
EZ Flash 2 ist ein benutzerfreundliches Programm zur Aktualisierung des BIOS.
Drücken Sie einfach den zuvor festgelegten Hotkey, um das Programm zu starten
und das BIOS zu aktualisieren, ohne das Betriebssystem starten zu müssen.
Aktualisieren Sie Ihr BIOS, ohne eine bootfähige Diskette vorzubereiten oder
ein dem Betriebssystem unterliegendes Aktualisierungsprogramm nutzen zu
müssen.

Oder du suchst nach dem Fehler im BIOS (Mal durchgehen und nach "interrupt remapping" suchen), vielleicht kann man da was einstellen.