add-on kernel modules for Debian packages