Ein Patch in der Mailingliste gcc-patches hat mich darauf aufmerksam gemacht, daß es nichttrivial ist, für eine Intel-Core-basierte Maschine die richtigen GCC-Optimierungsflags zu finden. Wie es scheint, sind -march=prescott und -mtune=pentium-m zu setzen. Neuerdings gibt es jedoch auch die Möglichkeit, einfach -march=native und -mtune=native zu schreiben.