Use real ARM 11 instructions for cache operations. Probably will factor out later.