Fix C comment in check_effective_cache_size()