Issue with booting on latest kernels (EFI_DISABLE_PCI_DMA related)