Make pci.map_pci_memory() return 'uint32_t volatile *'.

Had been void * which was then casted to uint32_t * and that's not
ideal for MMIO access to hardware registers.