Re: gnome-abrt claims the kernel is tainted