ipmi plugin: Add SELSensor and SELIgnoreSelected config options.