Fix hdmi sound on Cubietruck