Rename 82576vf model to intel82576vf. Fixes #2. Connected it to the build.

We unfortunately get another platform dependent function. See
unix/include/service/memory.h. Suggestions for a better way to do this are
welcome.