# CONFIG_MDIO_BUS_MUX_GPIO is not set