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