# CONFIG_MDIO_XGENE is not set
