Try again at providing Thumb2 encodings for basic multiplication operators.