ARM: v6/v7 cache: allow cache calls to be optimized