This fixes the Thumb2 CPS assembly syntax.