zc702_base.dts: hdmi out in kernel 3.10