Index: /trunk/src/VBox/Devices/EFI/Firmware/OvmfPkg/OvmfPkgIa32.fdf
===================================================================
--- /trunk/src/VBox/Devices/EFI/Firmware/OvmfPkg/OvmfPkgIa32.fdf	(revision 58806)
+++ /trunk/src/VBox/Devices/EFI/Firmware/OvmfPkg/OvmfPkgIa32.fdf	(revision 58807)
@@ -360,6 +360,6 @@
 !ifndef $(VBOX)
 INF  MdeModulePkg/Bus/Pci/UhciDxe/UhciDxe.inf
+!else
 INF  MdeModulePkg/Bus/Pci/EhciDxe/EhciDxe.inf
-!else
 INF  MdeModulePkg/Bus/Pci/XhciDxe/XhciDxe.inf
 !endif
Index: /trunk/src/VBox/Devices/EFI/Firmware/OvmfPkg/OvmfPkgX64.fdf
===================================================================
--- /trunk/src/VBox/Devices/EFI/Firmware/OvmfPkg/OvmfPkgX64.fdf	(revision 58806)
+++ /trunk/src/VBox/Devices/EFI/Firmware/OvmfPkg/OvmfPkgX64.fdf	(revision 58807)
@@ -358,6 +358,6 @@
 !ifndef $(VBOX)
 INF  MdeModulePkg/Bus/Pci/UhciDxe/UhciDxe.inf
+!else
 INF  MdeModulePkg/Bus/Pci/EhciDxe/EhciDxe.inf
-!else
 INF  MdeModulePkg/Bus/Pci/XhciDxe/XhciDxe.inf
 !endif