# CONFIG_GPIO_74XX_MMIO is not set