[OpenBIOS] [PATCH v2] drivers/pci: Recognise RTL8139 network card and enable bus mastering