SET_HI32(variable, highhalf) was meant to prevent warnings and
unneeded code to get the best of 32 and 64 bits. But I had a bug
in 64-bit mode. This is the trivial fix.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>