Wollte ich auch grad sagen :D. Mit den HXX Boards kannst du zwar die Intel Grafikeinheit der CPU nutzen, aber übertakten von K CPUs über den Multiplier ist wohl nicht drin.
Also wenn du dir dieses Mainboard kaufst, brauchst du keine K Version der CPU. Die Z77 unterstützen das aber auf jeden Fall. Kannst ja bei ASRock.com nachschauen (guck dir da einfach mal alle 77er Boards an.).
ASRock kann ich nur empfehlen, bin mit meinem P67 echt zufrieden.