# CONFIG_GPIO_F7188X is not set