(In reply to Francisco Pina Martins from comment #17)
> Will it work if I just replace the amdgpu.ko file with the debug-enabled
> version?

Yeah, that could work. If it doesn't, then it's not a big deal, it's unlikely
that the value before the slash has changed but the one after the slash hasn't
(if the latter had changed, faddr2line should have complained). Just
double-checking.