[OpenBIOS] [PATCHv2 2/3] pci: add PCI database entry for rtl8139 network card