When testing the new patch, I encountered the same issue where the mce0 device disappeared,
accompanied by the following error in the dmesg log.