CONFIG_IPMI_PLAT_DATA (not configurable)

modulename: ipmi_plat_data.ko

configname: CONFIG_IPMI_PLAT_DATA

Linux Kernel Configuration
└─>Device Drivers
└─>Character devices
└─>IPMI_PLAT_DATA
In linux kernel since version 5.1 (release Date: 2019-05-05)  
source code:
drivers/char/ipmi/ipmi_plat_data.c
is depended by
CONFIG_IPMI_SI