Esses são os arquivos de cabeçalho contidos nos pacotes linux-headers-*
e linux-headers-*-generic
. Deve ser seguro removê-los através do apt-get. Talvez apt-get autoremove
já sugira isso para você. Por favor, não os remova manualmente!