Re: [OpenBIOS] [PATCH] Really create a tree for PCI devices