Implement optional ethernet device that passes through to the emulated virtio device
Currently used by one vm for the c162 configuration.
Updates for libsel4vmm and camkes changes
Use simple untyped pools for nohardware configuration