Add __builtin___clear_cache to the portability headers