ipmi plugin: Fix broken 'Sensor' configuration option