Debian way to build a kernel