configs: bump kernel used for the RPi
authorBernd Kuhls <bernd.kuhls@t-online.de>
Mon, 4 Aug 2014 19:46:38 +0000 (21:46 +0200)
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Wed, 6 Aug 2014 17:58:32 +0000 (19:58 +0200)
commitf291951ae849dbda18b1a1f78cfe4fb4c42a5069
tree9aa6b19b1d36b870403c57e6921f93829ef0f7ca
parentfdc5ad15887b1f8fd2c604e3ff1d5b80995242af
configs: bump kernel used for the RPi

The rpi-3.12.y branch has now been merged with the 3.12.26 upstream.

Bump kernel headers used for the toolchain at the same time.

Fixes
http://jenkins.free-electrons.com/job/buildroot/config=raspberrypi_defconfig/320/console

Signed-off-by: Bernd Kuhls <bernd.kuhls@t-online.de>
Acked-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
configs/raspberrypi_defconfig