# CONFIG_MDIO_IPQ8064 is not set