1.25V is certainly more than you'll need, so I would recommend having a tinker and seeing how much lower you can get it. Lower voltages will reduce your running temperatures and reduce your power usage (leccy bills!), so it's worth seeing how low you can get it.
I would be very surprised if 1.25V doesn't get you stable at 4.2GHz, but don't forget to keep an eye on temps while the stress test runs as they creep up as your heatsink saturates with heat.
I would be very surprised if 1.25V doesn't get you stable at 4.2GHz, but don't forget to keep an eye on temps while the stress test runs as they creep up as your heatsink saturates with heat.