[SeaBIOS] [PATCH] fix virtio-pci