Recent SELinux updates seem to cause Kernel Panic