diff -r d35e8a1dc23a -r 9f8792fc3727 config/kernel/linux_headers_install.in
--- a/config/kernel/linux_headers_install.in	Thu May 15 16:39:55 2008 +0000
+++ b/config/kernel/linux_headers_install.in	Mon Jun 09 16:35:53 2008 +0000
@@ -95,6 +95,11 @@
     prompt "2.6.25.4"
     depends on KERNEL_VERSION_SEE_EXTRAVERSION
 
+config KERNEL_INSTALL_V_2_6_25_5
+    bool
+    prompt "2.6.25.5 (EXPERIMENTAL)"
+    depends on KERNEL_VERSION_SEE_EXTRAVERSION && EXPERIMENTAL
+
 # CT_INSERT_VERSION_ABOVE
 # Don't remove above line!
 endchoice
@@ -120,6 +125,7 @@
     default "2.6.25.2" if KERNEL_INSTALL_V_2_6_25_2
     default "2.6.25.3" if KERNEL_INSTALL_V_2_6_25_3
     default "2.6.25.4" if KERNEL_INSTALL_V_2_6_25_4
+    default "2.6.25.5" if KERNEL_INSTALL_V_2_6_25_5
 # CT_INSERT_VERSION_STRING_ABOVE
 # Don't remove above line!