Fixes for networking

This allows mirage-skeleton/network to handle TCP calls on x86_64 with
the new Mini-OS.