Re: [OpenBIOS] [PATCH] pci: fix OHCI driver PCI address