# CONFIG_OF_MDIO is not set