Eu acho que o 10Gb é para compilar você pode limpá-lo apenas por:
1. você deve abrir o diretório onde você compila a fonte do kernel:
exemplo: cd / usr / src / linux
Depois disso use seu comando para limpar todos os arquivos gerados no processo de compilação:
make clean
ou
no caso de você compilar o kernel com o make-kpkg, você deve limpá-lo:
make-kpkg clean
ou você deve tentar um desses processos:
1. Para desinstalar a execução do kernel:
sudo apt-get remove linux-image-version_number*
sudo apt-get remove linux-headers-version_number*
sudo apt-get remove linux-image-extra-version_number* (if applicable)
ou simplesmente desinstale-os do centro de sinápticos / software.
2. Para desinstalar o kernel instalado a partir da fonte, execute:
sudo rm -rf /lib/modules/kernel_version
sudo rm -f /boot/vmlinuz-kernel_version*
sudo rm -f /boot/initrd.img-kernel_version*
sudo rm -f /boot/config-kernel_version*
sudo rm -f /boot/System.map-kernel_version*
Finalmente, depois de desinstalar o kernel por qualquer um dos processos acima, execute:
sudo update-grub
para limpar o menu do grub.