Hi Thomas,
in case you'd like to add it to your benchmark results, below is a run of trx-bench on a Debian stable (jessie) system on a G-T40E CPU @ 800MHz.
What I find surprising is that it appears to be comparable than the Atom D2500 @ 1.86GHz, despite the Atom running at twice the clock rate...
More details see attachments.
Regards, Harald