Dans l'immédiat, je ne peux pas vérifier. Mais j'ai l'impression qu'il y a deux choses, "mce" et "mcelog". Le premier pourrait être une fonction du kernel ou au boot, qui alimente le second, mcelog, qui traitera les informations détectées.
Ne manquerait-il pas un service? mcelog ou mcelogd? C'est ce que l'info semble expliquer:
Most likely reason is that mcelog is not installed or not configured
to be started during boot.
Without this tool running, the binary data saved by kernel
is of limited usefulness.
Un dmesg |grep -i "machine check", ça dit quoi? Les infos doivent être codées. Et mcelog sert à les décoder.
Une page avec des explications:
http://www.advancedclustering.com/act-kb/what-are-machine-check-exceptions-or-mce/