# CONFIG_MUX_MMIO is not set
