Why not pick up an Intel Pentium G3258 dual-core processor, a cheap H81 board, and some memory? They supposedly overclock really easily to 4GHz with the stock cooler just by increasing the CPU multiplier and maybe bumping up the CPU voltage slightly. Some people are getting 4.2GHz.