insns.dat: Fix SHA256RNDS2 optional xmm0 argument