The Linux kernel for x86 CPUs no longer decodes and logs recoverable Machine Check Exception (MCE) events to the kernel log on its own.

Instead, the MCE data is kept in a buffer which can be read from userspace via the /dev/mcelog device node.

You need this tool to collect and decode those events; it will log the decoded MCE events to syslog.