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