[Kernel] Kernel package for Debian apt-get