# CONFIG_GPIO_ADP5588 is not set