My kernel was upgraded to 4.10.5-200.fc25.x86_64 this morning. Since then, I have received the following recurring syslogd error messages, all related to supposed hardware errors:

Message from syslogd@Bre at Mar 28 11:07:02 ... kernel:mce: [Hardware Error]: CPU 2: Machine Check: 0 Bank 128: 000000008802000b

Message from syslogd@Bre at Mar 28 11:07:02 ... kernel:mce: [Hardware Error]: TSC 7f538132a1

Message from syslogd@Bre at Mar 28 11:07:02 ... kernel:mce: [Hardware Error]: PROCESSOR 0:306a9 TIME 1490710022 SOCKET 0 APIC 2 microcode 1c

Message from syslogd@Bre at Mar 28 11:07:02 ... kernel:mce: [Hardware Error]: CPU 3: Machine Check: 0 Bank 128: 000000008802000b

Message from syslogd@Bre at Mar 28 11:07:02 ... kernel:mce: [Hardware Error]: TSC 7f538162d6

Message from syslogd@Bre at Mar 28 11:07:02 ... kernel:mce: [Hardware Error]: PROCESSOR 0:306a9 TIME 1490710022 SOCKET 0 APIC 3 microcode 1c

Message from syslogd@Bre at Mar 28 11:07:02 ... kernel:mce: [Hardware Error]: CPU 3: Machine Check: 0 Bank 128: 000000008804000a

Message from syslogd@Bre at Mar 28 11:07:02 ... kernel:mce: [Hardware Error]: TSC 7f53acb914

Message from syslogd@Bre at Mar 28 11:07:02 ... kernel:mce: [Hardware Error]: PROCESSOR 0:306a9 TIME 1490710022 SOCKET 0 APIC 3 microcode 1c

Message from syslogd@Bre at Mar 28 11:07:02 ... kernel:mce: [Hardware Error]: CPU 2: Machine Check: 0 Bank 128: 000000008804000a

Message from syslogd@Bre at Mar 28 11:07:02 ... kernel:mce: [Hardware Error]: TSC 7f53acc428

Message from syslogd@Bre at Mar 28 11:07:02 ... kernel:mce: [Hardware Error]: PROCESSOR 0:306a9 TIME 1490710022 SOCKET 0 APIC 2 microcode 1c