configs: bump kernel used for the RPi
authorBernd Kuhls <bernd.kuhls@t-online.de>
Sat, 2 Aug 2014 21:22:25 +0000 (23:22 +0200)
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Sun, 3 Aug 2014 08:21:16 +0000 (10:21 +0200)
commit72b32d5197d4227ce80339388849fe39a996e441
tree41ca48aea2dd3b8cb1863c086d14e39583503824
parent16c453f41392de78ccae013ac8c382db830c97ba
configs: bump kernel used for the RPi

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

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

Signed-off-by: Bernd Kuhls <bernd.kuhls@t-online.de>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
configs/raspberrypi_defconfig