The page table builder needs to be no_std, so that the boot shim can use it for dynamically creating page tables (#1563) There is a PR for this in review, #2062
