Taint kernel after WARN_ON(condition)