Minor fixes to split mshr cache