[PATCH 2/2] PCI: Revoke mappings like devmem