Re: [OpenBIOS] [PATCH 0/6] Improve network device support (with a bit of PCI map work)