Re: [PATCH] rcu/torture: Improve badness extraction from console logs