Well, you might think that if you know nothing about Debian. I recently was debugging kernel bug and to check whether it still happens in latest mainline I just... installed package directly from Debian repos.