@@ -352,6 +352,8 @@ Specify the precise MIC architecture host identifier.
The default value is <c>x86_64-k1om-linux</c>
</dd>
+</dl>
+
\section AdvancedConfiguration Advanced Configuration
<dl>