# CONFIG_GPIO_NOVALAKE is not set
