bugfix for vpsrldq opcode decoding

git-svn-id: svn://svn.code.sf.net/p/bochs/code/trunk@12426 6c8e4198-a580-4521-a02f-c9ae86df1db9
bugfix in softfloat uint64_to_float64 conversion

git-svn-id: svn://svn.code.sf.net/p/bochs/code/trunk@12427 6c8e4198-a580-4521-a02f-c9ae86df1db9