PJ, I have rebuilt your rom from sources yesterday, ROM is quite smooth for real life usage, but I get way bellow these benchmark results (around 2800).
Can you specify the conditions you used to get these ? (I just overclocked to 1.2, no change in governor/io scheduler).
I have customized sqlite, so get more score.