6/10

x86/mm: stop marking page tables as MIX_SECTION_INFO

There is no good reason to mark boot page tables as MIX_SECTION_INFO: we only free boot page tables when they are completely empty, and memory offlining/hotunplug doesn’t benefit from it in any way.