About new 5.6 CONFIG_EFI_DISABLE_PCI_DMA option