ARM: implement flush_cache_louis()