gnome-abrt claims the kernel is tainted

[George R Goffe]

Hi,

"my" fc23 x86_64 system gets the following messages below which trigger gnome-abrt execution. The results of this report that the kernel is tainted but there are no modules listed. I had assumed that the tainted flag was due to the vbox kernel modules being loaded so I used rmmod to remove them. subsequently I got another message (see below) but gnome-abrt still claims that the kernel is tainted.

Am I doing something wrong or is this a bug?

Thanks,

George...