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

2 files changed, 16 insertions, 16 deletions

diff --git a/it/hardware/hardware-supported.xml b/it/hardware/hardware-supported.xml
index b4006178e..6f89d2d04 100644
--- a/it/hardware/hardware-supported.xml
+++ b/it/hardware/hardware-supported.xml
@@ -334,19 +334,19 @@ le prestazioni. Su un sistema comune sarà difficilmente notabile.
 
 <!--
 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>
 -->
 
 Per ottimizzare il kernel per i sistemi con un solo processore, si deve
-sostituire il kernel standard di Debian. Si può trovare una discussione su
+sostituire il kernel standard di Debian. <phrase arch="linux-any">Si può trovare una discussione su
 come farlo in <xref linkend="kernel-baking"/>. Attualmente (versione del
 kernel &kernelversion;) il modo per disabilitare l'SMP è deselezionare
 la voce <quote>&smp-config-option;</quote> nella sezione
-<quote>&smp-config-section;</quote> della configurazione del kernel.
+<quote>&smp-config-section;</quote> della configurazione del kernel.</phrase>
 
 </para>
   </sect2>
@@ -411,19 +411,19 @@ processore.
 
 <!--
 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>
 -->
 
 Per ottimizzare il kernel per i sistemi con un più processori, si
-deve sostituire il kernel standard di Debian. Si può trovare una discussione
+deve sostituire il kernel standard di Debian. <phrase arch="linux-any">Si può trovare una discussione
 su come farlo in <xref linkend="kernel-baking"/>. Attualmente (versione del
 kernel &kernelversion;) il modo per abilitare l'SMP è selezionare
 la voce <quote>&smp-config-option;</quote> nella sezione
-<quote>&smp-config-section;</quote> della configurazione del kernel.
+<quote>&smp-config-section;</quote> della configurazione del kernel.</phrase>
 
 </para>
   </sect2>
@@ -467,19 +467,19 @@ scegliere un pacchetto con un kernel appropriato.
 </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>
 -->
 
 Inoltre è possibile compilare un kernel personalizzato con supporto
-per l'SMP. Si può trovare una discussione su come farlo in
+per l'SMP. <phrase arch="linux-any">Si può trovare una discussione su come farlo in
 <xref linkend="kernel-baking"/>. Attualmente (versione del kernel
 &kernelversion;), il modo per abilitare l'SMP è selezionare
 la voce <quote>&smp-config-option;</quote> nella sezione
-<quote>&smp-config-section;</quote> della configurazione del kernel.
+<quote>&smp-config-section;</quote> della configurazione del kernel.</phrase>
 
 </para>
   </sect2>
diff --git a/it/hardware/installation-media.xml b/it/hardware/installation-media.xml
index ad8a904fd..0e43b43c3 100644
--- a/it/hardware/installation-media.xml
+++ b/it/hardware/installation-media.xml
@@ -283,8 +283,8 @@ si veda la sezione <xref 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.
 -->
@@ -292,9 +292,9 @@ installed on the widest array of hardware.
 I dischi d'avvio di Debian contengono un kernel che è stato compilato
 per massimizzare il numero di sistemi su cui può girare.
 Sfortunatamente questo comporta un kernel di dimensione maggiore che
-include molti driver che non verranno usati sulla propria macchina (vedere
+include molti driver che non verranno usati sulla propria macchina<phrase arch="linux-any"> (vedere
 <xref linkend="kernel-baking"/> per imparare a compilare un kernel
-personalizzato). Il supporto per la maggior quantità di dispositivi
+personalizzato)</phrase>. Il supporto per la maggior quantità di dispositivi
 è desiderabile in generale per permettere che Debian possa essere
 installata sul numero maggiore possibile di combinazioni di hardware.