Glenn[/url]":1a2hdggv]Terminology question: what is a "kernel PPA"? Googling just yielded links to other PPA's, which wasn't helpful I'm guessing it's some kind of patchset?
Personal Package Archive. It's a privately-maintained package archive that might hold newer versions of a given program than are available from the official distribution, or programs that aren't otherwise available yet, or are configured a specific way.
A kernel PPA will have a specially-configured version of the Linux kernel, which is the underlying guts of the operating system.