[PATCH] x86_64: fix 32-bit thread debugging