[Kal-EL]

You can overclock your machine in the bios and will work with Linux. Overclocking GPU in Linux will require someone to create interface program with hardware within linux. OR you can flash higher GPU clocks onto the card prior to entering Linux.

There may be more options but I'm not completely familiarized with the Duck erm Penguin.

[Chuchnit]

to the forum sir. If I ever get the time I wanna learn a little more about linux myself. Kal pretty much answered your question for you though. Take a look around here an feel free to join the discussion.