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