Unlikely, it's a release from more than three years ago. You can still build you own kernel if you need it there. It shouldn't be that hard to start from your

Unlikely, it's a release from more than three years ago. You can still build you own kernel if you need it there. It shouldn't be that hard to start from your current config and build the deb packages.