Sync with the same config as mips24Kc