# CONFIG_GPIO_MC33880 is not set