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