# CONFIG_GPIO_ZX is not set