# CONFIG_GPIO_TS4900 is not set