Debian Wiki updated with a 3.12-rc7 kernel and builtin ethernet works fine

[Bryan Smith]

Hey Guys,

I updated the wiki page to include a newer kernel. Please give that a try. For all of those who already have a running Debian system you can install this kernel below and it will give you working ethernet out of the box. Please make sure to update your grub.cfg in your UEFI boot partition so that you actually boot into the kernel with the initramfs.

Kernel:

http://ftp.us.debian.org/debian/pool/main/l/linux/linux-image-3.12-rc7-686-pae_3.12~rc7-1~exp1_i386.deb

Wiki page:

http://elinux.org/Minnowboard:Debian_Bare_Minimum_Bootstrapping

Bryan