diff --git a/documentation/dev-manual/dev-manual-model.xml b/documentation/dev-manual/dev-manual-model.xml
index 45015e4e1c..12ad46bbdf 100644
--- a/documentation/dev-manual/dev-manual-model.xml
+++ b/documentation/dev-manual/dev-manual-model.xml
@@ -279,9 +279,6 @@
                 Within this group, you will find several kernels supported by
                 the Yocto Project:
                 <itemizedlist>
-                    <listitem><para><emphasis><filename>linux-yocto-3.4</filename></emphasis> - The
-                    stable Yocto Project kernel to use with the Yocto Project Release 1.3. This kernel
-                    is based on the Linux 3.4 released kernel.</para></listitem>
                     <listitem><para><emphasis><filename>linux-yocto-3.8</filename></emphasis> - The
                     stable Yocto Project kernel to use with the Yocto Project Release 1.4. This kernel
                     is based on the Linux 3.8 released kernel.</para></listitem>
@@ -291,6 +288,9 @@
                     <listitem><para><emphasis><filename>linux-yocto-3.14</filename></emphasis> - The
                     stable Yocto Project kernel to use with the Yocto Project Release 1.6. This kernel
                     is based on the Linux 3.14 released kernel.</para></listitem>
+                    <listitem><para><emphasis><filename>linux-yocto-3.17</filename></emphasis> - The
+                    stable Yocto Project kernel to use with the Yocto Project Release 1.7. This kernel
+                    is based on the Linux 3.17 released kernel.</para></listitem>
                     <listitem><para><emphasis><filename>linux-yocto-dev</filename></emphasis> - A development
                     kernel based on the latest upstream release candidate available.</para></listitem>
                 </itemizedlist>