Debian kbuild packaging