Makes sense... the kernel is "tainted" after an oops. I was distracted by thoughts about software with dubious provenance. The first kernel oops (that taints the kernel) is documented here: https://bugzilla.redhat.com/show_bug.cgi?id=1001806