ci: Print CPU information for benchmarks

Make it easier to explain possible changes to results on CI.

Author: tgross35

ci/bench-icount.sh

@@ -10,6 +10,10 @@ if [ -z "$target" ]; then
     target="$host_target"
 fi
 
+# Print machine information
+uname -a
+lscpu || true
+
 gungraun_home="gungraun-home"
 
 # Use the arch as a tag to disambiguate artifacts