Re: [LinuxBIOS] [PATCH] v3: switch pci_ops_mmconf from uint*_t to u*