tccgen: x86_64: fix garbage in the SValue upper bits