ARM: mm: rename jump labels in v7_flush_dcache_all function