Weder OC noch UC, genau aus dem Grund den du auch anführst: Buggy Bios.
Was ich auch einstelle, es endet im Bluescreen.
Nichtmal 4.0 Ghz mit 1,250VCore gehen stabil (der Turbo vom 3770K geht ja schon bis 3.9Ghz bei 1,150VCore...).
Allerdings gibt es auch was Positives: im mini-PCIe kann man...