board/raspberrypi: bump to use Linux 3.10
authorYann E. MORIN <yann.morin.1998@free.fr>
Fri, 6 Dec 2013 20:04:37 +0000 (21:04 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Fri, 6 Dec 2013 21:20:31 +0000 (22:20 +0100)
commita4870b9072dc74d830e5c2203defd5a968380417
tree34f6dddc760194c7fad6e13c51265d86b382e76d
parentb21e0881c46d78b75f77f63a62864c8e45978d55
board/raspberrypi: bump to use Linux 3.10

The new 'stable' branch of the Raspberry Pi kernel is now based
on the Linux 3.10 branch (currently 3.10.22), so bump both the
kernel version for the toolchain headers, and for the target.

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