audio: Add a board variable to enable default audio output to HDMI

Add SW_BOARD_AUDIO_DEFAULT_HDMI := true to default to outputting audio
via HDMI. This is useful for Mini PCs and other stick-like devices with
only HDMI audio output.
audio: add hdmi output to audio_policy.conf