linux-raspberrypi: Update v3.10.18 to v3.10.24

Change-Id: Icf95ec58d39eb187c0cf0fe31fd1822f81f3f038
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
linux-raspberrypi: Update v3.11.7 to v3.11.10

Change-Id: I8ba4b853a9e3f07517c401c9a421c65c53c25977
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
linux-raspberrypi: Update v3.6.11 to latest HEAD

Change-Id: I9e30fc0c9a16df888ce8e0f56f5bcf7a3aff77bf
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
firmware.inc: Update to latest HEAD

Change-Id: I758da027a378b535205d42b9304473704be63fb2
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
userland: Update to latest HEAD

Change-Id: I4403ab492bbe825541149905995ad3e4c61dc897
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
linux-raspberrypi: Remove old v3.12.0

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