default or selected kernelversion does not have config value CONFIG_DISPLAY_ENCODER_TPD12S015.
Result is shown for kernelversion 6.5.1

TPD12S015 HDMI ESD protection and level shifter

modulename: encoder-tpd12s015.ko

configname: CONFIG_DISPLAY_ENCODER_TPD12S015

Linux Kernel Configuration
└─>Device Drivers
└─>Graphics support
└─>OMAP2+ Display Subsystem support
└─>OMAP Display Device Drivers (new device model)
└─>TPD12S015 HDMI ESD protection and level shifter
In linux kernel since version 3.11 (release Date: 2013-09-02)  
Driver for TPD12S015, which offers HDMI ESD protection and level
shifting.

source code: