IFXMIPS_MACH_EASY50712, /* Danube evalkit */
IFXMIPS_MACH_EASY4010, /* Twinpass evalkit */
IFXMIPS_MACH_ARV4519, /* Airties WAV-221 */
- IFXMIPS_MACH_ARV452, /* Airties WAV-281, Arcor EasyboxA800 */
+ IFXMIPS_MACH_ARV4520, /* Airties WAV-281, Arcor EasyboxA800 */
+ IFXMIPS_MACH_ARV4525, /* Speedport W502V */
/* ASE based machines */
IFXMIPS_MACH_EASY50601, /* ASE wave board */