[msan] Fix handling of multiplication by a constant with a number of trailing zeroes.