pci: typedef pcibus_t as uint64_t instead of uint32_t.