Se você não tiver um servidor (ou não precisar do kernel do servidor), poderá removê-lo:
sudo apt-get remove linux-server linux-headers-server
Para evitar que você fique sem kernels:
-
Em uma área de trabalho:
sudo apt-get install linux-generic
-
Servidor:
sudo apt-get install linux-server