# CONFIG_TSL4531 is not set