emulated uint32*uint32->uint64 multiplication with vector instructions on MIC