* sysdeps/x86_64/cacheinfo.c (__x86_64_data_cache_size_half): Renamed