/lib/modules/$(uname -r)/source
deve ser um link simbólico para a árvore de origem do kernel (se ela foi instalada de maneira razoável).
Além disso
find / -type d -name "linux-3.14.0"
irá procurar pelo diretório de distribuição do kernel do Linux 3.14.0 - que é aquele que você obtém quando descompacta o tarball. Se isso falhar,
find / -type d -name "linux-*"
find / -type f -name "Kbuild"
não deve lhe dar muitos falsos positivos.
Se você precisar compilá-lo, então você pode transferir os fontes para a máquina e fazer isso do zero, desde que ele tenha compilado com .config
(a opção CONFIG_IKCONFIG
). Você pode extrair isso de /proc/config.gz
(se suportado pelo kernel - veja a opção CONFIG_IKCONFIG_PROC
), ou com o script scripts/extract-ikconfig
do diretório fonte do kernel.
Além disso, está pedindo ao seu colega totalmente fora de questão?