Re: [SeaBIOS] [PATCH] pci: change typename of q35 to pci-q35