Bueno, la respuesta que esperabas es que en principio es recomendable formatear. Si antes de desmontar quitas los drivers viejos y después consigues arrancar aun que sea con el cd de Windows para instalar los nuevos igual funciona.

yo tengo mi E8400 a 3.600 Mhz con Vcore=1,20 Debo pertenezer a esta minoria no?? Por cierto, cual es el voltaje nominal del E8400??

No tengo mucha idea de como andarán ahora las BIOS con los C2D pero antes tenias una opción para seleccionar manualmente que FSB tiene el procesador y según se seleccione uno u otro cambian las opciones de los divisores que te deja elegir. No se si podrás probar algo de ese estilo en tu BIOS…