Debian SID AMD64 kernel 2.6.12

[Simon Vos <simonvos@gmail.com>]

Hello everyone,

I have a problem with the kernel configuration. While trying to
configure the kernel I'm missing two drivers for my two nic's. I have a
realtek 8139 nic and the nic on board of my nforce 2 motherboard. I've
just installed the AMD64 port of debian and I can't find the
configuration options for these nic's. In the i386 port I didn't have
this problem.

Simon