zedboard: Fix HDMI audio

Fix devicetree entry and automatically load kernel modules.