After replacing the kernel it's the same problem: the on-board RTL8169 
is not configured. So, unless you have another idea or option, I'll move 
back to the previous kernel.