Acho que o pacote que você deseja é linux-libc-dev . Eu encontrei isso ao construir 32-on-64; então eu precisei de linux-libc-dev:i386 .
Tente executar o seguinte em uma nova janela do Terminal:
sudo apt-get update e sudo apt-get install linux-libc-dev linux-headers-generic