X86: Lower SMUL_LOHI of v4i32 to pmuldq when SSE4.1 is available.