Merge "pixelflinger: use __builtin___clear_cache instead of cacheflush"