# CONFIG_GPIO_TS5500 is not set