# CONFIG_SENSORS_HP_WMI is not set
