V BIOSu téměř jistě nic na taktování nebude, jediná cesta pro přetaktování notebooků je přes speciální software.
Zkus ještě Clockgen.

Čistě ze zvědavosti, z jakého důvodu jsi "nejspokojenější" s takovým notebookem?