Tboot not supported by Xen (bsc#1210855) (#1538)

xml/xen_virtualization_vhost.xml

@@ -110,18 +110,27 @@
    </listitem>
   </itemizedlist>
 
-  <note>
-<!-- Bugzilla #878036 -->
-   <title>Hardware Monitoring</title>
-   <para>
-    The &dom0; kernel is running virtualized, so tools like
-    <command>irqbalance</command> or <command>lscpu</command> will not reflect
-    the real hardware characteristics.
-   </para>
-  </note>
- </sect1>
- <sect1 xml:id="sec-xen-vhost-memory">
-  <title>Managing &dom0; Memory</title>
+    <note>
+      <!-- Bugzilla #878036 -->
+      <title>Hardware monitoring</title>
+      <para>
+        The &dom0; kernel is running virtualized, so tools like
+        <command>irqbalance</command> or <command>lscpu</command> do not
+        reflect the real hardware characteristics.
+      </para>
+    </note>
+    <important>
+      <title>Trusted boot not supported by &xen;</title>
+      <para>
+        Trusted boot (Tboot) is not supported by &xen;. To ensure that the &xen;
+        host boots correctly, verify that the <guimenu>Enable Trusted Boot
+        Support</guimenu> option is deactivated in the &grub; configuration
+        dialog.
+      </para>
+    </important>
+  </sect1>
+  <sect1 xml:id="sec-xen-vhost-memory">
+    <title>Managing &dom0; memory</title>
 
   <para>
    When the host is set up, a percentage of system memory is reserved for the