DDB already does this.  Any port that supports DDB already loads the
   kernel symbol table into core if it is configured.  That's why you see
   the 'preserving NNNNN bytes of netbsd symbol table' message.

I believe I've already suggested keeping the symbol table around and
making it pageable if DDB is not configured.