Possibly fixed split_mshr_cache bug