zynq-zc702/defconfig: Add HDMI audio modules

Adds snd_soc_adi_axi_spdif and snd_soc_adv7511_hdmi as modules.
This should enable HDMI audio on the zc702 board.
Fix HDMI audio on the zc702 board, upgrade to latest kernel

Was missing the PL330 driver in the kernel, so audio wasn't working.
Update kernel to get the latest DTS changes for the zc702 too.