INF ArmPkg/Drivers/ArmGic/ArmGicDxe.inf\r
INF ArmPkg/Drivers/TimerDxe/TimerDxe.inf\r
INF MdeModulePkg/Universal/WatchdogTimerDxe/WatchdogTimer.inf\r
- INF ArmPlatformPkg/Drivers/NorFlashDxe/NorFlashDxe.inf\r
+ INF OvmfPkg/VirtNorFlashDxe/VirtNorFlashDxe.inf\r
\r
#\r
# FAT filesystem + GPT/MBR partitioning + UDF filesystem\r