# CONFIG_MUX_GPIO is not set
