ARM : Implement flush_cache_louis()