I can give it a try, I've been running with 6.1.x just fine recently. What's the best repo for the latest 15 SP5 kernel?