how is this for an i5 4670k overclocked to 4.2ghz?