[PATCH] x86_64: Fix 32bit thread coredumps