# CONFIG_MDIO_THUNDER is not set