Use libkallsyms
Support verbose output