The commit message of
a2d44ec6bf12 ("linux-headers: drop old unsupported
4.{10,11,12,13,15} versions") says, "select an older kernel headers
(4.9)". However a couple lines are selecting 4.19.
Change BR2_KERNEL_HEADERS_4_19 to BR2_KERNEL_HEADERS_4_9 as intended.
Signed-off-by: David Lechner <david@lechnology.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
config BR2_KERNEL_HEADERS_4_12
bool "kernel headers version 4.12.x are no longer supported"
- select BR2_KERNEL_HEADERS_4_19
+ select BR2_KERNEL_HEADERS_4_9
select BR2_LEGACY
help
Version 4.12.x of the Linux kernel headers are no longer
config BR2_KERNEL_HEADERS_4_13
bool "kernel headers version 4.13.x are no longer supported"
- select BR2_KERNEL_HEADERS_4_19
+ select BR2_KERNEL_HEADERS_4_9
select BR2_LEGACY
help
Version 4.13.x of the Linux kernel headers are no longer