kernel headers: remove deprecated version 3.9

Deprecate 3.9.x headers for the 2014.11 release, a year has passed.

Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>

diff --git a/package/linux-headers/Config.in.host b/package/linux-headers/Config.in.host
index b363cdc05976f59276bc3ce582fc873fb5fdd8ed..5bb717031b211bd624a7ffb5c0fb76277678afe6 100644 (file)
--- a/package/linux-headers/Config.in.host
+++ b/package/linux-headers/Config.in.host
@@ -27,11 +27,6 @@ choice
                depends on !BR2_arc
                select BR2_TOOLCHAIN_HEADERS_AT_LEAST_3_4
 
-       config BR2_KERNEL_HEADERS_3_9
-               bool "Linux 3.9.x kernel headers"
-               depends on BR2_DEPRECATED_SINCE_2013_11
-               select BR2_TOOLCHAIN_HEADERS_AT_LEAST_3_9
-
        config BR2_KERNEL_HEADERS_3_10
                bool "Linux 3.10.x kernel headers"
                select BR2_TOOLCHAIN_HEADERS_AT_LEAST_3_10
@@ -170,7 +165,6 @@ config BR2_DEFAULT_KERNEL_HEADERS
        default "3.0.101"       if BR2_KERNEL_HEADERS_3_0
        default "3.2.63"        if BR2_KERNEL_HEADERS_3_2
        default "3.4.104"       if BR2_KERNEL_HEADERS_3_4
-       default "3.9.11"        if BR2_KERNEL_HEADERS_3_9
        default "3.10.59"       if BR2_KERNEL_HEADERS_3_10
        default "3.11.10"       if BR2_KERNEL_HEADERS_3_11
        default "3.12.31"       if BR2_KERNEL_HEADERS_3_12