My 5820 does 4 Ghz without any voltage changes, but not 4.2 Ghz. I haven't done any further investigation of what happens with more voltage, 6 Haswell cores with 4 Ghz each is enough for me right now. With my new, smaller case I would probably run into temperature limitations pretty soon anyway (at 4 Ghz and default voltage I go up to a maximum of ~80°C with a heavy 6-core AVX2 load, ~75°C in prime).