# CONFIG_GPIO_ADNP is not set