pci: introduce pcibus_t to represent pci bus address/size instead of uint32_t