hab jetzt durch nachgoogeln
gelesen, daß solche taktraten nur über die dipschwitches erreichbar sind. nur wenn ich dort FSB100x24 einstelle, wird mir im bios trotzdem nur 1800mhz angezeigt.
offenbar wurde der früher tatsächlich mit 400mhz betrieben, obwohl er theoretisch auch 533 unterstützt hätte, siehe
http://www.heise.de/ct/faq/hotline/03/22/12.shtml