Añadidas referencias del PIC32MX... y de MIPS32