\r
INF MdeModulePkg/Core/Dxe/DxeMain.inf\r
INF MdeModulePkg/Universal/PCD/Dxe/Pcd.inf\r
- INF ArmVirtPkg/VirtioFdtDxe/VirtioFdtDxe.inf\r
+ INF OvmfPkg/Fdt/VirtioFdtDxe/VirtioFdtDxe.inf\r
INF EmbeddedPkg/Drivers/FdtClientDxe/FdtClientDxe.inf\r
- INF ArmVirtPkg/HighMemDxe/HighMemDxe.inf\r
+ INF OvmfPkg/Fdt/HighMemDxe/HighMemDxe.inf\r
\r
#\r
# PI DXE Drivers producing Architectural Protocols (EFI Services)\r