[PATCH v4 3/4] x86/cacheinfo: Delete global num_cache_leaves