Leider habe ich die Antwort gefunden: Für DDR3 ist die Pinbelegung von ECC- und Nicht-ECC-RAMs unterschiedlich, wie auf Seite 8 hier zu sehen ist .
Ich habe ewig versucht, die Timings richtig zu stellen und dachte, ich hätte den Speichercontroller falsch konfiguriert.