Merge branch 'x86/mm' into x86/boot, to pick up dependencies