Merge branch 'x86/boot' of ../tip into smp/init-merge Resolve the conflicts between smp/core and x86/boot