A bunch of tools for maintaining custom Debian/Ubuntu kernels.