On Thu, 20 Aug 2009, Roland Dreier wrote: > (Christoph, I tested this with "possible_cpus=32" and it still works for > me -- if you get a chance on your Dell systems that would be helpful too) Works here. Tested-by: Christoph Lameter <cl at linux-foundation.org>