Выполнил - apt-get install linux-source
Оно скачало два файла, какой из них следует использовать - linux-source-3.13.0_3.13.0-24.46_all.deb или linux-source_3.13.0.24.28_all.deb ?
У меня щяс.. uname -a Linux user-Vostro-3560 3.13.0-32-generic #57-Ubuntu SMP Tue Jul 15 03:51:08 UTC 2014 x86_64 x86_64 x86_64 GNU/Linux
Цель сборки ядра - некоторое железно не совсем правильно работает, хотя на старых версия работало.