Renamed machine module

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

source/Release.Tool

@@ -286,7 +286,7 @@ PACKAGE Kernel ARCHIVE "Kernel.zip" SOURCE "KernelSrc.zip" DESCRIPTION "A2 Kerne
 	I386GEN { Generic.I386.Machine.Mod }
 	AMD64 { AMD64.Machine.Mod }
 	WINORIG, WINGEN {Win32.Machine.Mod }
-	COOP { Mutexes.Mod Coop.Machine.Mod }
+	COOP { Mutexes.Mod Coop.I386.Machine.Mod }
 
 	UNIX { Unix.I386.Machine.Mod }