# CONFIG_MDIO_BUS_MUX is not set