.
Actualizo el hilo, con algunas correcciones y un paso más del proceso. He añadido el paso para crear la estructura de subdirectorios que recogeran la compilación de cada uno de los paquetes de GCC.
En correcciones, algo relativo a la copia de las librerias de XC32, solo hace falta copiar los subdirectorios Lib e Include de pic32mx, el resto no hace falta, eso ocupa unos 850 Mb.
Una cosa más, ya he descubierto lo que significa lto, esta opción solo se activa en la licencia PRO, pero no en la FREE ni la Standard. Lto significa "link time optimization", todavía no he descubierto ese parámetro en la configuración de XC32, pero por algún sitio debe de andar, parece que hace referencia a la optimización del tiempo de enlazado, tal vez acelera el enlazado de los objetos en el proceso de compilación.