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

2 files changed, 8 insertions, 8 deletions

diff --git a/nl/hardware/hardware-supported.xml b/nl/hardware/hardware-supported.xml
index b6a45280e..a9609028c 100644
--- a/nl/hardware/hardware-supported.xml
+++ b/nl/hardware/hardware-supported.xml
@@ -224,11 +224,11 @@ will hardly be noticable.
 </para><para>
 
 In order to optimize the kernel for single CPU systems, you'll have to
-replace the standard Debian kernel.  You can find a discussion of how
+replace the standard Debian kernel.  <phrase arch="linux-any">You can find a discussion of how
 to do this in <xref linkend="kernel-baking"/>.  At this time
 (kernel version &kernelversion;) the way you disable SMP is to deselect
 <quote>&smp-config-option;</quote> in the <quote>&smp-config-section;</quote>
-section of the kernel config.
+section of the kernel config.</phrase>
 
 </para>
   </sect2>
@@ -267,11 +267,11 @@ the first CPU.
 </para><para>
 
 In order to take advantage of multiple processors, you'll have to
-replace the standard Debian kernel.  You can find a discussion of how
+replace the standard Debian kernel.  <phrase arch="linux-any">You can find a discussion of how
 to do this in <xref linkend="kernel-baking"/>.  At this time
 (kernel version &kernelversion;) the way you enable SMP is to select
 <quote>&smp-config-option;</quote> in the <quote>&smp-config-section;</quote>
-section of the kernel config.
+section of the kernel config.</phrase>
 
 </para>
   </sect2>
@@ -296,11 +296,11 @@ appropriate kernel package.
 
 </para><para>
 
-You can also build your own customized kernel to support SMP. You can find
+You can also build your own customized kernel to support SMP. <phrase arch="linux-any">You can find
 a discussion of how to do this in <xref linkend="kernel-baking"/>.  At this
 time (kernel version &kernelversion;) the way you enable SMP is to select
 <quote>&smp-config-option;</quote> in the <quote>&smp-config-section;</quote>
-section of the kernel config.
+section of the kernel config.</phrase>
 
 </para>
   </sect2>
diff --git a/nl/hardware/installation-media.xml b/nl/hardware/installation-media.xml
index bc315d35e..7881f7d06 100644
--- a/nl/hardware/installation-media.xml
+++ b/nl/hardware/installation-media.xml
@@ -156,8 +156,8 @@ linkend="linux-upgrade"/>.
 The Debian boot disks contain a kernel which is built to maximize the
 number of systems it runs on.  Unfortunately, this makes for a larger
 kernel, which includes many drivers that won't be used for your
-machine (see <xref linkend="kernel-baking"/> to learn how to
-build your own kernel).  Support for the widest possible range of
+machine<phrase arch="linux-any"> (see <xref linkend="kernel-baking"/> to learn how to
+build your own kernel)</phrase>.  Support for the widest possible range of
 devices is desirable in general, to ensure that Debian can be
 installed on the widest array of hardware.