Enable HDMI Audio Support for DM814xx

We are trying to enable HDMI Audio support on Ti-J4 board (DM814x).  As per procedure mentioned in

http://processors.wiki.ti.com/index.php/DM81xx_AM38xx_HDMI_User_Guide#TI81XX_HDMI_Audio_Support, 

the “make menuconfig” should give the below result:

 >> make menuconfig

Device Drivers --->

                    <*> Sound card support --->

                                         <*> Advanced Linux Sound Architecture --->

                                                                                 <*> ALSA for SoC audio support --->

<*> SoC Audio for the TI81XX chip

<*> SoC Audio support for TI81XX EVM

<*> On-chip HDMI audio support for TI81XX EVM

                                    < > Build all ASoC CODEC drivers (NEW)

But in case of PSP 04.01.00.02,  the menuconfig does not show the below options for "ALSA for SoC audio support":

<*> SoC Audio for the TI81XX chip

<*> SoC Audio support for TI81XX EVM

<*> On-chip HDMI audio support for TI81XX EVM

 Hence we are unable to enable HDMI audio.   If anyone as faced similar issues,  pls let us know how to enable the above options.

Thanks,

Aravind S