[OpenBIOS] Re: [PATCH v2 00/30] pci: build device tree from root