# CONFIG_SENSORS_IRPS5401 is not set