Network support.

I've now added network support to NRE (https://github.com/TUD-OS/NRE/commits/network) and made a few changes in seoul as well to get it going. Mostly of course in the nre directory, but I've also adjust the intel82576vf model to work on x86_64 (and some general things).

Note that this is based on the clang commits.