Add CONFIG_EFI_DISABLE_PCI_DMA recommended by CLIP OS