# CONFIG_GPIO_IT87 is not set