[ARM] Use BranchProbability::scale() to scale an integer with a probability in ARMBas...