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