Both Mohonpeak and Rangeley use x86.scc and x86_64.scc (their 32 and 64 bit versions respectively). mohonpeak.scc: kconf hardware mohonpeak.cfg include cfg/x86_64.scc ... and rangeley.scc: kconf hardware rangeley.cfg include cfg/x86_64.scc ... and later they all include smp: ... #Add smp support include cfg/smp.scc ... Which is unnecessary since x86.scc and x86_64.scc both include smp: x86.scc include x86_base.scc include smp.scc ...
Fixed here: http://git.yoctoproject.org/cgit/cgit.cgi/yocto-kernel-cache/commit/?id=4625dc863aca690367551954a4cf6ec347688d2e and http://git.yoctoproject.org/cgit/cgit.cgi/yocto-kernel-cache/commit/?id=76fdd259bc390add9d7f8d235a393d46cde74ead