Re: [OpenBIOS] [PATCH] pci: fix setup of 64-bit BARs