x86: pci-nommu.c cleanup