Xen: quieten warnings for missing prototypes so real issue can be seen.
Xen: remove dead netif code (now in mirage-net-xen)
Suppress another dietlibc linker warning for vprintf in Xen

Closes mirage/mirage#141
Merge pull request #80 from avsm/master

fixes for 1.0: quieten warnings and cleaner output