kernel: bcm2708_i2s avoid address space leak
See: https://github.com/raspberrypi/linux/issues/687

firmware: hdmi: Add gencmd for controlling small adjustments to hdmi pixel clock