Odroid 3.13.y

This pull request fixes the issues regarding the clocks in the daisy_max98090 sound card and adds support for HDMI sound.