do not use interrupt-based transaction waiting - it looks like in some cases SD interrupts get lost; use polling for the moment;

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

ARM/ARM.A2/Zynq.SdControllers.Mod

@@ -138,7 +138,7 @@ VAR
 				NEW(hc[i], Platform.SdBase[i], Platform.SdIrq[i], SdEnvironment.HcClock(i));
 				Sd.SetEventHandler(hc[i].hc, hc[i].HandleEvent, NIL);
 				hc[i].WaitForEventCompletion;
-				Sd.SetBlocker(hc[i].hc, hc[i].handler.Block)
+(*				Sd.SetBlocker(hc[i].hc, hc[i].handler.Block)*)
 			ELSE
 				IF Sd.EnableTrace THEN
 					Log.String("[SD] Not Enabling controller "); Log.Int(i, 0); Log.Ln