x86/PCI: build failure at x86/kernel/pci-dma.c with !CONFIG_PCI