Shameless plug: I wrote a small tool which allows users to update the kernel to the latest version or rc build, since this is not really a ppa exposed as apt repository:

https://github.com/cristim/kernel-update