# CONFIG_GPIO_ALTERA is not set