* Fix "post-install" part for non-Linux ports.

2 files changed, 6 insertions, 6 deletions

diff --git a/de/hardware/hardware-supported.xml b/de/hardware/hardware-supported.xml
index cd1785909..2086a62fe 100644
--- a/de/hardware/hardware-supported.xml
+++ b/de/hardware/hardware-supported.xml
@@ -224,11 +224,11 @@ dies ist jedoch bei normaler Systemnutzung kaum zu bemerken.
 </para><para>
 
 Um den Kernel für Single-CPU-Systeme zu optimieren, müssen Sie den
-Standard-Debian-Kernel durch einen eigenen ersetzen. Eine Erörterung dazu
+Standard-Debian-Kernel durch einen eigenen ersetzen. <phrase arch="linux-any">Eine Erörterung dazu
 finden Sie im <xref linkend="kernel-baking"/>. Zum momentanen Zeitpunkt
 (Kernel-Version &kernelversion;) ist der Weg zum Deaktivieren von SMP
 das Abwählen von <quote>&smp-config-option;</quote> im
-<quote>&smp-config-section;</quote>-Abschnitt der Kernel-Konfiguration.
+<quote>&smp-config-section;</quote>-Abschnitt der Kernel-Konfiguration.</phrase>
 
 </para>
   </sect2>
@@ -267,11 +267,11 @@ der Kernel wird dann lediglich die erste CPU verwenden.
 </para><para>
 
 Um die Vorteile von mehreren Prozessoren zu nutzen, müssen Sie den
-Standard-Debian-Kernel ersetzen. Eine Erörterung dazu finden Sie im
+Standard-Debian-Kernel ersetzen. <phrase arch="linux-any">Eine Erörterung dazu finden Sie im
 <xref linkend="kernel-baking"/>. Zum momentanen Zeitpunkt
 (Kernel-Version &kernelversion;) ist der Weg zum Aktivieren von SMP
 das Auswählen von <quote>&smp-config-option;</quote> im
-<quote>&smp-config-section;</quote>-Abschnitt der Kernel-Konfiguration.
+<quote>&smp-config-section;</quote>-Abschnitt der Kernel-Konfiguration.</phrase>
 
 </para>
   </sect2>
diff --git a/de/hardware/installation-media.xml b/de/hardware/installation-media.xml
index c2340a158..263fd9aad 100644
--- a/de/hardware/installation-media.xml
+++ b/de/hardware/installation-media.xml
@@ -163,8 +163,8 @@ linkend="linux-upgrade"/>.
 Die Debian-Boot-Medien beinhalten einen Kernel, der kompiliert ist,
 um die Anzahl der Systeme, auf denen er läuft, zu maximieren. Unglücklicherweise
 erzeugt dies einen größeren Kernel, der viele Treiber beinhaltet, die für
-Ihr Gerät gar nicht verwendet werden (siehe <xref linkend="kernel-baking"/>,
-um zu lernen, wie Sie einen eigenen Kernel kompilieren können).
+Ihr Gerät gar nicht verwendet werden<phrase arch="linux-any"> (siehe <xref linkend="kernel-baking"/>,
+um zu lernen, wie Sie einen eigenen Kernel kompilieren können)</phrase>.
 Grundsätzlich ist Unterstützung für möglichst viele Geräte wünschenswert, um
 sicherzustellen, dass Debian auf einer umfangreichen Palette von Hardware
 installiert werden kann.