PIC32MX can't get 80 MHz Clock from Internal RC OSC
If you want speeds as high as 80MHz, you will need to use an external oscillator.

The FRC (Fast RC oscillator) maximun frequency is 8MHz, you can divide it by 2/4/.../256, but you can't increase it.