Hmm. Good question. We may have added additional kernel fixes meanwhile. Anyway, let's close this one as fixed.