gnome-abrt claims the kernel is tainted