insns.dat: fix encoding of VCVTSD2SS