
the information provided by the loader if possible (defaulting to `end'). If the DDB symbols aren't needed, `kernel_top' is adjusted in autoconf:bootstrap() before calling pmap_bootstrap(). It will also preserve the bootinfo data (if passed by the loader) for non-DDB kernels.