Could you get per core overclocking thing working? Mine wouldn't go above the one set for 4 cores. Tries 45,46,47,48 for each utilization and tried LinX with one core. Also when I set this in UEFI it would show a weird CPU clock when POSTing.

One more thing. Does Intel Rapid Start work? I could not install the intel driver (tried the one for z77 extreme4 board and the one from intel itself.)