correcting the intel Xeon machine type again

The machine has 2 CPUs of type Intel Xeon.
Each Xeon CPU has 6 physical cores.

doc/flexiblesusy-paper.tex

@@ -2807,16 +2807,15 @@ \subsection{Run-time comparison}
 \tabref{tab:run-time-comparison}.  The first column shows the run-time
 on a Intel Core2 Duo (P8600, $2.40\unit{GHz}$) where only one core was
 enabled.  The second column shows the run-time on the same processor
-where both cores were enabled.  In the third column an Intel Xeon
-(L5640, $2.27\unit{GHz}$) was used, which has two CPUs with $6$ cores
-each.
+where both cores were enabled.  In the third column a machine with two
+Intel Xeon CPUs (L5640, $2.27\unit{GHz}$, $6$ cores) was used.
 %
 \begin{table}[tbh]
   \centering
   \begin{tabular}{llll}
     \toprule
-                            & Intel Core2 Duo    & Intel Core2 Duo   & Intel Xeon\\
-                            & (P8600, $1$ core)  & (P8600, $2$ cores)& (L5640, $2\times 6$ cores)\\
+                            & Intel Core2 Duo    & Intel Core2 Duo   & $2$ $\times$ Intel Xeon\\
+                            & (P8600, $1$ core)  & (P8600, $2$ cores)& (L5640, $6$ cores)\\
     \midrule
     FlexibleSUSY-NoFV 1.0.0 & $0.086\unit{s}$    & $0.079\unit{s}$   & $0.060\unit{s}$\\
     SPheno 3.2.4            & $0.119\unit{s}$    & $0.114\unit{s}$   & $0.101\unit{s}$\\