* ALSA HDMI audio needs to be disabled when 3.5mm jack, DAC, or external
USB audio cards is used. Enable HDMI audio path based on system property
and the set the vc4 audio device name accordingly.
* HDMI audio devices on Raspberry Pi use FORMAT_IEC958_SUBFRAME_LE which
is not supported by tinyalsa used on Android. Use ALSA library and its
virtual vc4 audio devices that use IEC958 plugin to manage the subframe
conversion.
* 48000Hz sample rate is set for output devices in audio policy
configuration. Set the same default sample rate for sanity though this
should not get used for valid profiles.
