Hello,

For a 64-bit gregset, the code was only modifying the low 32-bits of the 
register field - leaving the upper 64-bits undefined.  This, among other 
things, would lead to mysterious 32-bit thread failures.

The attached ensures that the upper part of each fetched register is zero.

ok?
Andrew