[mips32][PIC32-MAXI-WEB] fix a typo from 566abbf