Me parece una excelente noticia, el PIC32 no tiene que enviarles nada los ARM Cortex MX, no se pueden comparar los AX porque son microprocesadores, a mi me parecen una excelente opción dentro de los micros de 32 bits, me tiene un poco cansado el marketing de ARM como si fueran los únicos y mejores micros de 32 bits.
Saludos !