Merge branch 'x86/boot' of ../tip into smp/init-merge

Resolve the conflicts between smp/core and x86/boot