@el-sahef: Ich kriege es aber einfach nicht hin, ein selbstgebautes Coreboot-4.5-Image mit dem Quadcore zu booten (kein Bild, auch kein Bootversuch von USB). Selbstgebaute Images laufen mit dem Dualcore hingegen problemlos (mit entsprechender Option der MAX_CPUs).