2 files changed, 13 insertions, 25 deletions
diff --git a/en/hardware/hardware-supported.xml b/en/hardware/hardware-supported.xml
index eaa573a9e..f3737bf12 100644
--- a/en/hardware/hardware-supported.xml
+++ b/en/hardware/hardware-supported.xml
@@ -56,11 +56,8 @@ variations of each architecture known as <quote>flavors</quote>.
 </row>
 
 <row>
-  <entry morerows="3">ARM</entry>
-  <entry morerows="3">armel</entry>
-  <entry>Intel IXP4xx</entry>
-  <entry>ixp4xx</entry>
-</row><row>
+  <entry morerows="2">ARM</entry>
+  <entry morerows="2">armel</entry>
   <entry>Marvell Kirkwood</entry>
   <entry>kirkwood</entry>
 </row><row>
diff --git a/en/hardware/supported/arm.xml b/en/hardware/supported/arm.xml
index 1a014fc80..0156e839e 100644
--- a/en/hardware/supported/arm.xml
+++ b/en/hardware/supported/arm.xml
@@ -347,26 +347,6 @@ platform-specific kernels.
 <variablelist>
 
 <varlistentry>
-<term>IXP4xx</term>
-<listitem><para>   
-
-The Intel IXP4xx processor series is used in commonly used network
-attached storage (NAS) devices like the Linksys NSLU2.
-
-</para><para>
-
-While there is kernel support for this platform in &debian; 8, it is
-not supported by the &d-i;.  It is possible to do a
-<quote>dist-upgrade</quote> from &debian; 7 to &debian; 8 for existing
-installations, though.  Due to the small amount of RAM that systems
-based on the IXP4xx typically have, this requires that swap space is
-enabled prior to upgrading. Support for the IXP4xx platform will be
-dropped completely in &debian; 9.
-
-</para></listitem>
-</varlistentry>   
-
-<varlistentry>
 <term>Kirkwood</term>
 <listitem><para>
 
@@ -418,6 +398,17 @@ to test and run &debian; on ARM if you don't have real hardware.
 
 <variablelist>
 <varlistentry>
+<term>IXP4xx</term>
+<listitem><para>
+
+Support for the Intel IXP4xx platform has been dropped in &debian; 9.
+The Linksys NSLU2 device is based on IXP4xx and is therefore no longer
+supported.
+
+</para></listitem>
+</varlistentry>
+
+<varlistentry>
 <term>Orion5x</term>
 <listitem><para>