On Fri, Jan 31, 2014 at 04:06:30PM -0600, Rob Herring wrote: > From: Rob Herring <robh at kernel.org> > > SMP is a user configurable option, not a hardware feature and should not > be selected. > > Signed-off-by: Rob Herring <robh at kernel.org> Yep, you're right. applied to fixes. -Olof