Re: [PATCH] dump-oops: fix removing jiffies time stamp