Re: [PATCH] virtio: fix off by one device id comparison