el directorio /usr/src/linux no existe en mi sistema de archivos (ni ninguno que se le parezca). Y aunque cree dicho directorio y copie allí las fuentes (un archivo llamado rtl8139.c) me da el mismo error al hacer el make menuconfig:
make: *** No rule to make target 'menuconfig'. Stop Gracias de nuevo, Marcel