Fix incorrect 32/64-bit BranchOnCount instr