ARM: add clean and flush_dcache_all to ARM cache API