added ARM prefix to the ARM-specific BootConfig.Mod

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

source/Release.Tool

@@ -292,7 +292,7 @@ PACKAGE Kernel ARCHIVE "Kernel.zip" SOURCE "KernelSrc.zip" DESCRIPTION "A2 Kerne
 	# Low-level trace output
 	Trace.Mod
 
-	ARM & ~COOP { BootConfig.Mod }
+	ARM & ~COOP { ARM.BootConfig.Mod }
 
 	WIN { Windows.Kernel32.Mod }