Sync with the mips24k patch