-|| giskard-x201 || Lenovo x201 || Intel(R) Core(TM) i7 CPU || M 620 || 2.67GHz || x86_64 ||
-|| istek || Lenovo x201 || Intel(R) Core(TM) i5 CPU || M 540 || 2.53GHz || x86_64 ||
+|| gdesk || Dell T3500 || Intel(R) Xeon(R) CPU || W3690 || 3.47GHz || x86_64 ||
+|| xyzzy.i || XEN || Intel(R) Xeon(R) CPU || X5679 || 3.20GHz || x86_64 ||
+|| glaptop-x220 || Lenovo X220 || Intel(R) Core(TM) i5 || 2520M || 2.50GHz || x86_64 ||
+|| giskard-x201 || Lenovo X201 || Intel(R) Core(TM) i7 CPU || M 620 || 2.67GHz || x86_64 ||
+|| istek || Lenovo X201 || Intel(R) Core(TM) i5 CPU || M 540 || 2.53GHz || x86_64 ||