# CONFIG_SENSORS_JC42 is not set