configs: snps_archs38_vdk: use same headers as kernel
authorArnout Vandecappelle <arnout@mind.be>
Fri, 10 Mar 2017 12:35:57 +0000 (13:35 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Fri, 10 Mar 2017 13:21:58 +0000 (14:21 +0100)
commitfd0803d0f678dcd3404b2bbb2b73a28b0977875e
tree40375857a3cc464d2fc126428da6af82ce21926c
parent88090d98461d06c7b3ad9f6e3e2c7f2fdbf143af
configs: snps_archs38_vdk: use same headers as kernel

Instead of downloading a *different* version of the kernel for the
headers as for the headers itself, use the same one.
BR2_KERNEL_HEADERS_AS_KERNEL is the default, but we have to set the
custom version.

Signed-off-by: Arnout Vandecappelle (Essensium/Mind) <arnout@mind.be>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
configs/snps_archs38_vdk_defconfig