symbols so its not too useful. Changes to the kernel linker to allow it to supply DDB with symbols will come later.