580ccee2bf
is able to load the kernel into memory, symbol table included. This is needed to be able to access the symbol table from DDB without a boot loader.