Re: [SeaBIOS] [RFC PATCH v2 2/4] pci: add RedHat vendor ID