Index: /trunk/src/VBox/Devices/EFI/Firmware/OvmfPkg/OvmfPkgIa32.dsc
===================================================================
--- /trunk/src/VBox/Devices/EFI/Firmware/OvmfPkg/OvmfPkgIa32.dsc	(revision 58783)
+++ /trunk/src/VBox/Devices/EFI/Firmware/OvmfPkg/OvmfPkgIa32.dsc	(revision 58784)
@@ -608,6 +608,6 @@
 !ifndef $(VBOX)
   MdeModulePkg/Bus/Pci/UhciDxe/UhciDxe.inf
+!else
   MdeModulePkg/Bus/Pci/EhciDxe/EhciDxe.inf
-!else
   MdeModulePkg/Bus/Pci/XhciDxe/XhciDxe.inf
 !endif
Index: /trunk/src/VBox/Devices/EFI/Firmware/OvmfPkg/OvmfPkgX64.dsc
===================================================================
--- /trunk/src/VBox/Devices/EFI/Firmware/OvmfPkg/OvmfPkgX64.dsc	(revision 58783)
+++ /trunk/src/VBox/Devices/EFI/Firmware/OvmfPkg/OvmfPkgX64.dsc	(revision 58784)
@@ -612,6 +612,6 @@
 !ifndef $(VBOX)
   MdeModulePkg/Bus/Pci/UhciDxe/UhciDxe.inf
+!else
   MdeModulePkg/Bus/Pci/EhciDxe/EhciDxe.inf
-!else
   MdeModulePkg/Bus/Pci/XhciDxe/XhciDxe.inf
 !endif