[OpenBIOS] [PATCHv2 3/3] pci: add rtl8139_config_cb() to configure rtl8139 network cards