Package: src:linux Version: 4.14.7-1 Severity: normal Please enable CONFIG_X86_MCELOG_LEGACY so that /dev/mcelog exists again.
It seems this functionality was seperated from CONFIG_X86_MCE in 4.12 and is not enabled by default. I don't see it explicitly set one way or another in the debian kernel source repo and no mention of it in the changelog, so I assume that not enabling it is unintentional