cfg: correct pic32mx config typo's