Okay, results are just abysmal.
4.3 M/hash per second on average on the Intel HD 4000.
I'm going to install Intel's overclocking utility to see what I squeeze out...
Also, any flags I should try to improve performance? This is even worse than the NVS 4200M on my T420, which got 10 M/hash per second on average.