#\r
ArmVirtPkg/VirtioFdtDxe/VirtioFdtDxe.inf\r
EmbeddedPkg/Drivers/FdtClientDxe/FdtClientDxe.inf\r
- ArmVirtPkg/HighMemDxe/HighMemDxe.inf\r
+ OvmfPkg/Fdt/HighMemDxe/HighMemDxe.inf\r
OvmfPkg/VirtioBlkDxe/VirtioBlk.inf\r
OvmfPkg/VirtioScsiDxe/VirtioScsi.inf\r
OvmfPkg/VirtioNetDxe/VirtioNet.inf\r