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
firmware: audio_mixer: Fix typo that stops OMX_IndexParamBrcmTimeScale from working

firmware: hdmi: Show more precision of hdmi pll setting