RaspberryPi HDMI outputs

to make 720p work on the current stable release you need to update the air unit kernel.

i will give more details tomorrow, as i test with dual hdmi 1080 from a pi almost daily.