Re: [RFC PATCH 0/4] Determine the number of cpus for kdump on large systems