Re: [OpenBIOS] [PATCH] Identify virtio-net devices