SELinux bugfix: /dev/mcelog is a device