# CONFIG_GPIO_SCH is not set