default or selected kernelversion does not have config value CONFIG_SND_OMAP_SOC_HDMI_AUDIO.
Result is shown for kernelversion 6.9.9

HDMI audio support for OMAP4+ based SoCs

modulename: snd-soc-omap-hdmi-audio.ko

configname: CONFIG_SND_OMAP_SOC_HDMI_AUDIO

Linux Kernel Configuration
└─>Device Drivers
└─>Sound card support
└─>Advanced Linux Sound Architecture
└─>ALSA for SoC audio support
└─>HDMI audio support for OMAP4+ based SoCs
In linux kernel since version 3.19 (release Date: 2015-02-08)  
For HDMI audio to work OMAPDSS HDMI support should be
enabled.
The hdmi audio driver implements cpu-dai component using the
callbacks provided by OMAPDSS and registers the component
under DSS HDMI device. Omap-pcm is registered for platform
component also under DSS HDMI device. Dummy codec is used as
as codec component. The hdmi audio driver implements also
the card and registers it under its own platform device.
The device for the driver is registered by OMAPDSS hdmi
driver.

source code: