PIC32MX no puede obtener un reloj de 80 MHz desde el RC OSC interno

Estoy usando PIC32MX795F512L con el oscilador interno de RC. Al cambiar la configuración de la configuración, puedo llegar a 60MHz máx. Pero no puedo llegar a 80MHz. Cuando cambio la configuración para 80MHz, PIC32 simplemente no se ejecuta. Aquí están mis ajustes de configuración para la velocidad de reloj de 80MHz.

    #pragma config FNOSC =  001            // 001       // FRCPLL       // Internal Fast RC oscillator (8 MHz) w/ PLL
    //#pragma config JTAGEN = OFF         // Disable JTAG
    #pragma config FSOSCEN = OFF        // Disable Secondary Oscillator
    #pragma config OSCIOFNC = OFF       // Enable CLKO Output on the OSCO Pin
    #pragma config FCKSM = CSECMD       // Enable Clock Switching & Fail-Safe Clock Monitor (FSCM) 
    #pragma config FWDTEN = OFF         // Watchdog Timer Disabled

    //#pragma config ICESEL = ICS_PGx1    // ICE/ICD Comm Channel Select
    #pragma config FPLLIDIV = DIV_2     // Divide FRC before PLL (now 4 MHz)
    #pragma config FPLLMUL =  MUL_20     // PLL Multiply (now 80 MHz)
    #pragma config FPLLODIV = DIV_1     // Divide After PLL (now 40 MHz)
                                        // see figure 8.1 in datasheet for more info
    #pragma config FPBDIV = DIV_1       // PBCLK = SYCLK

La misma configuración anterior se ejecuta en la placa Explorer 16. Pero no se ejecuta en mi PCB de diseño personalizado.