It's been a long time, and I didn't use that board. But you should be able to simply go to advanced mode-AI Tweaker- change the target CPU frequency to 4200MHz and it should easily do that at default voltage.
Nearly forgot, once you dial in your overclock, you can save it in my favorites.