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!