Add platform device registratation for HDMI audio codec. This is to
be able to transmit audio through the HDMI output featured in SDP4430
and Blaze boards.
Signed-off-by: Ricardo Neri <ricardo.neri@ti.com> Signed-off-by: Tony Lindgren <tony@atomide.com>