ARM cache bugfix