Hello Jason, one small additional note. The dmesg lines you provided would have been followed by lines "Code:". With that line it would be possible to find at least the current instruction and source code line when the executables are from the debian archive and the package version is known. So please do not strip these lines away.
Kind regards, Bernhard
