MIPS: CMP: Update sync-r4k for current kernel