bcm2835: Update to version 1.32

Change-Id: I68721f30c9551b392d2851a96d9819524a088faf
Signed-off-by: Alexandru Niculita <alexnick87@gmail.com>
linux-raspberrypi: Update available versions to HEAD

Update 3.11.0 to 3.11.7 HEAD.
Update 3.6.11 to HEAD.

Change-Id: Iacd8f78b418b0bd6d8513b97ce57ce0108057850
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
linux-raspberrypi: Add version 3.10.18 and 3.12.0

Change-Id: Idd59fed4f2ab975c50b3727e436b4a0caeb0ab16
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
rpi-default-providers: Use 3.10.X as default kernel

This is the default/base branch on official github repository:
https://github.com/raspberrypi/linux/branches

Change-Id: I99702ae7548b49a5b4b575b3f02f5a3a48ad347f
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
firmware.inc: Update to HEAD on 2013-11-13

Change-Id: I00ace3f8575015612ae09dfb99e2a33d87ddc4cb
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
userland: Update to HEAD on 2013-11-13

Change-Id: Ic618f8bc5365b9f787a230a2a3e0ccb92c17738a
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>