APTOSID e o Kernel 3.11 e a placa de rede 88E8001 Gigabit Ethernet Controller

[Oscar Stockwel]

Por acaso alguém usa esta placa de rede [88E8001 Gigabit Ethernet Controller da Marvell Technologies Group, Ltd - Driver: skge] com o kernel 3.11? Comigo, nas distribuições com este kernel, esta placa não funciona.
Depois de muitas experiências, não tenho dúvidas nenhumas em afirmar de que se trata de um problema do kernel 3.11 (será um bug?).
Vejamos: Fiz um dist-upgrade no APTOSID e ele instalou o kernel 3.11 e a placa deixou de funcionar. Fui investigar se seria da ferramenta Ceni, se seria da placa, etc., etc. Nada!
Lembrei-me então de procurar uma distribuição que viesse já com o kernel 3.11 e descobri que o Ubuntu Saucy Salammaleco (não sei se o nome está correcto) vinha com este kernel, mas da placa nem sinal...
Até ao kernel 3.10 funcionava bem, ou seja, funcionava muito bem!
Alguém tem ou teve este problema? Como não descobri nada reportado na Internet, acredito que o kernel 3.12 é capaz de continuar com este problema...