either an abit nf7-s rev2 and a thermalright SLK (whichever) or a DFI infinity ultra and a thermaltake slient boost...the latter is cheaper and the CPU i am getting is the mobile 2400 and i wanna hit about 2.5 GHZ on this, can i do it with the second? how about the first? thanks !