[SeaBIOS] [RFC PATCH 14/16] virtio-pci: add vp_set