Comment faire pour overclocker un T2400 (1,86ghz) d'un HP NC8430 sachant qu'il n'y a pas de possibilité de le faire dans le bios ?