For most modules this is enough, without having the full kernel source.
Aparentemente, não para este. Tente instalar todos os cabeçalhos e pacotes de código-fonte, não apenas o pacote generic
:
sudo apt-get install linux-source linux-headers-3.8.0-19-all