[SPARC64]: Fix two bugs wrt. kernel 4MB TSB.