i386: intel_cacheinfo.c:find_num_cache_leaves() should be __cpuinit