Se hai ancora il .config vecchio prova a grepparlo con 8139, magari ti tira fuori qualcosa di utile. Idem su un .config ex-novo dalla src del kernel, generato con un make menuconfig e salvato senza modifiche.