addr2line with FreeBSD kernel failing

[Ryan Stone]

dtrace has native support for decoding symbols with the %a format
specifier.  Try this:

printf("Runs vap->iv_newstate: %a", vap->iv_newstate);