# CONFIG_MDIO_GPIO is not set