X86: If SSE4.1 is missing lower SMUL_LOHI of v4i32 to pmuludq and fix up the high...