Frage: ist das ein Hardwaredefekt?

Hallo Forum,

seit Kernel 4.10 wirft mein kleiner Homeserver in gefühlten unregelmäßigen Abständen Messages dieser Art (aus dem Fedora Cockpit und in der Konsole):

---
07:33 mce: [Hardware Error]: PROCESSOR 0:306c3 TIME 1491802407 SOCKET 0 APIC 0 microcode 20 kernel
07:33 mce: [Hardware Error]: TSC 4dc62e527bb65 kernel
07:33 mce: [Hardware Error]: CPU 0: Machine Check: 0 Bank 128: 0000000088010a82 kernel
---

Die TSC- und Hex-Werte variieren.

Eine kurze Frage in die Runde: Hardwarefehler oder etwas Anderes?

ganz kurz zum System:
- Lenovo ThinkCenter M92p tiny
- Fedora 25 Server
- Kernel: 4.10.8-200.fc25.x86_64

Gruss

Basti