# CONFIG_MDIO_SUN4I is not set