apt-packages[3-tools]: add tools for compiling the kernel