Re: [SeaBIOS] [QEMU PATCH v2] pci: set firmware name of q35 to pci