Benchmark linux/amd64 Lenovo x201i i3 M370 2.40GHz and linux/amd64 Dell Optiplex 9010 i7-3770 3.40GHz