# CONFIG_MDIO_BUS_MUX_MULTIPLEXER is not set