129e169651
end values in bootinfo) in kernel space if it is loaded (i.e., if its specified end address is nonzero), not just if it is loaded and DDB is configured. This may be used to fix kldsym(2) for booting without /dev/loader; currently, in this case, it just fixes unused pointers and wastes space consistently. For booting in the normal way with /boot/loader, the table is included and pointed to in a different way and kldsym(2) works.