/* * Setup the kernel symbol table stuff. */