[PATCH] x86_64: Fix dump_trace()