kernel: Bump to 3.12.30

kernel: bcm2708: Eliminate i2s debugfs directory error
Qualify the two regmap ranges uses by bcm2708-i2s ('-i2s' and '-clk')
to avoid the name clash when registering debugfs entries.

kernel: Improve __copy_to_user and __copy_from_user performance
Provide a __copy_from_user that uses memcpy. On BCM2708, use
optimised memcpy/memmove/memcmp/memset implementations.

kernel: bcm2708-dmaengine: nobble peak throughput to prevend SD host lockups
Artificially throttling DMA throughput to/from the SD host prevents errors
seen on very high-spec UHS-1 cards.See: http://www.raspberrypi.org/forums/viewtopic.php?f=63&t=5057&start=275#p626694

firmware: dpi: Add options to alter dpi settings through dpi_output_format
See: http://www.raspberrypi.org/forums/viewtopic.php?f=100&t=86658&p=628061#p628061

firmware: arm_loader: Avoid gpioman spam when POWER_LOW is not defined
kernel: Bump to 3.12.31

kernel: vchiq: Take care of a corner case tickled by VCSM, and enable in kernel
See: https://github.com/raspberrypi/linux/commit/7afe2b7073258c4641a6f32868a58a7715d2a136

kernel: enable USBTV module and add patch for PAL support
See: https://github.com/raspberrypi/linux/issues/711
kernel: Added support to reserve/enable a GPIO pin to be used from pps-gpio module
See: https://github.com/raspberrypi/linux/pull/717

firmware: arm_loader: Add lock to rotated frame updates to avoid an unsafe update from mailbox channel
See: https://github.com/raspberrypi/firmware/issues/327

firmware: hdmi: Fix for attached flag in hdmi status when booting with cable disconnected
See: https://github.com/raspberrypi/firmware/issues/326
firmware: config: Make framebuffer_swap and framebuffer_ignore_alpha enabled by default
See: https://github.com/raspberrypi/linux/issues/514
firmware: audio_mixer: Add support for applying a shift to the output data
See: http://forum.osmc.tv/showthread.php?tid=16010&pid=111475#pid111475

firmware: Some upstream improvements for memory compaction of relocatable heap
kernel: Bump to 3.12.32

firmware: hdmi: Fix for reported modes with hdmi_edid_file
See: https://github.com/raspberrypi/firmware/issues/330
kernel: 3.17.2
firmware: merge upstream