Re: [SeaBIOS] [PATCH] virtio-pci: include pci.h and pci_regs.h