default or selected kernelversion does not have config value CONFIG_IPMI_PROC_INTERFACE.
Result is shown for kernelversion 6.4.14

Provide an interface for IPMI stats in /proc (deprecated)

configname: CONFIG_IPMI_PROC_INTERFACE

Linux Kernel Configuration
└─>Device Drivers
└─>Character devices
└─>IPMI top-level message handler
└─>Provide an interface for IPMI stats in /proc (deprecated)
In linux kernel since version 4.9.8 (release Date: 2017-02-04)  
Do not use this any more, use sysfs for this info. It will be
removed in future kernel versions.