Re: [SeaBIOS] [PATCH] paravirt: Allow both Red Hat and Amazon PCI HB subsystem vendor and device ids