Si es una pena esas bios, pero yo personalmente no me atrevo a usar la bios del fabricante de la placa base ni ahunque tenga localizado el modelo y sean identicas.
Prueba desde windows con distintos programas de overclocking, el que tenga ecs y otros como el clockgen, a ver si se puede.
Saludos.