Which requires better cooling: an FX-6300 at stock or a G3258 at 4.5GHz?