kernel: ACPI: NMI not connected to LINT 1!

[bullgard]

Hallo debianforum.de
[Debian 9.1 stable, Xfce]

Code: Alles auswählen

uname -r

gibt aus:

4.9.0-3-amd64

Code: Alles auswählen

~$ inxi -C

gibt aus:

CPU: Dual core Intel Core i5-5257U (-HT-MCP-) cache: 3072 KB
clock speeds: max: 3100 MHz 1: 818 MHz 2: 913 MHz 3: 1101 MHz 4: 801 MHz

Code: Alles auswählen

# journalctl -xb

gibt aus in fett

kernel: ACPI: NMI not connected to LINT 1!

und dies viermal hintereinander!
Wofür steht »LINT«? Gemäß ACPi-Spezifikation 6.0 könnte man das als Abkürzung für »Local apic INTerrupt input« interpretieren.
Was bedeutet diese Fehlermeldung, und wie werde ich sie los?
Ich habe gegoogelt. Andere Leute haben dieselbe Fehlermeldung. Oft gab es in den Foren keine Antwort. Bei ArchLinux fand ein Hilfesuchender selbst heraus, daß der Fehler verschwand durch Deinstallation des Pakets tls. Das Paket tls ist bei mir nicht installiert.
Mit freundlichen Grüßen
bullgard

[bullgard]

Die Fehlermeldung ist wohl keine Regression. Denn bei Kernelversion 3.16.0.4-amd64 trat sie nicht auf.