Oh, sorry I got confused which branch as been merged, 13.2 is still pending. The maintainer is on vacation this week, I've asked mmarek to merge it. I'll build a fixed kernel package for you in parallel as I don't know when the merge will happen.