# CONFIG_EFI_DISABLE_PCI_DMA is not set