Decode Machine Check Exception?

Hi,

Randomly in the logs I noticed this:

Mon Oct 30 14:25:24 2023 kern.info kernel: [32505852.045563] mce: [Hardware Error]: Machine check events logged
Mon Oct 30 14:25:24 2023 kern.emerg kernel: [32505852.051765] mce: [Hardware Error]: CPU 0: Machine Check: 0 Bank 5: 9400004000910091
Mon Oct 30 14:25:24 2023 kern.emerg kernel: [32505852.059821] mce: [Hardware Error]: TSC 0 ADDR 2340f4b80
Mon Oct 30 14:25:24 2023 kern.emerg kernel: [32505852.065499] mce: [Hardware Error]: PROCESSOR 0:406d8 TIME 1698675924 SOCKET 0 APIC 0 microcode 12d
Mon Oct 30 14:25:24 2023 kern.info kernel: [32505852.074831] mce: [Hardware Error]: Machine check events logged
Mon Oct 30 14:25:24 2023 kern.emerg kernel: [32505852.081031] mce: [Hardware Error]: CPU 1: Machine Check: 0 Bank 5: 9400004000910091
Mon Oct 30 14:25:24 2023 kern.emerg kernel: [32505852.089068] mce: [Hardware Error]: TSC 0 ADDR 2340f4b80
Mon Oct 30 14:25:24 2023 kern.emerg kernel: [32505852.094741] mce: [Hardware Error]: PROCESSOR 0:406d8 TIME 1698675924 SOCKET 0 APIC 2 microcode 12d

All the MCE knowledge I can find online suggests the next step is using the 'mcelog' tool to decode the message, however I cannot find this in any OpenWRT package? Any ideas what this code means or where I can get mcelog?

MCEs are obviously machine-specific, so we need to know what device you're running. Please run ubus call system board via SSH terminal to your device and paste the output to the forum as preformatted text.

It's a SuperMicro x86 system running an Intel Atom. The consensus from Google appears to be that if you have an MCE event logged that didn't cause a kernel panic and reboot then it was most likley a corrected single bit ECC error.