# CONFIG_MDIO_OCTEON is not set