ARM: Some TLB bug fixes.