configs: bump kernel used for the RPi
authorYann E. MORIN <yann.morin.1998@free.fr>
Sun, 1 Jun 2014 21:03:26 +0000 (23:03 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Sun, 1 Jun 2014 21:12:34 +0000 (23:12 +0200)
commit6a40596ed079befe5b76dbaf95b96b360704799a
treea07928759ab0585e2927be42d3ecdbbbf97e4c47
parentecfd6b9c3007175f837348e75a927fe98861d6a1
configs: bump kernel used for the RPi

The rpi-3.12.y branch has now been merged with the 3.12.20 upstream,
and contains some fixes for FIQ, v4l2, i2c, USB, and 1-wire GPIOs.

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

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
configs/raspberrypi_defconfig