d25a46b215
spelled g*compiled* symbols from the kernel so that ddb doesn't have to do it. The symbols are currently removed by dbsym but dbsym will go away when symbols are loaded by the boot loader. Document -m option in usage message. Check for overrunning some arrays. Fix some misformatting.