x86: pci-dma_64.c: cleanups