Use control messages for audio data to fix scratch hang.
Use vchiq versioning to try to handle mismatches kernel.img/start.elf.
Make gpu_mem<32 give you the cutdown firmware.
Grab back a DMA channel from ARM so hdmi+pwm can work at same time.
Merge branch 'master' into debian