Switch to __builtin___clear_cache(), since __clear_cache is deprecated.

Change-Id: Ib6ab398b39c72365dfa81c467bf6f56326f4097a
1 file changed