Renamed BIOS-specific UsbOhci and UsbEhciPCI modules

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@8303 8c9fc860-2736-0410-a75d-ab315db34111

source/Release.Tool

@@ -581,10 +581,7 @@ PACKAGE Drivers ARCHIVE "Drivers.zip" SOURCE "DriversSrc.zip" DESCRIPTION "Devic
 	
 	BIOS {
 		BIOS.UsbUhci.Mod 
-	}
-	
-	BIOS {
-		UsbOhci.Mod
+		BIOS.UsbOhci.Mod
 	}
 	
 	NATIVE & ~ARM {
@@ -596,7 +593,7 @@ PACKAGE Drivers ARCHIVE "Drivers.zip" SOURCE "DriversSrc.zip" DESCRIPTION "Devic
 	}
 	
 	BIOS {
-		UsbEhciPCI.Mod
+		BIOS.UsbEhciPCI.Mod
 	}
 	
 	NATIVE & ARM {