Symbol: ipmi_sensor_status