Why are some CF instructions commented out?

[ErrWare]

Why are some control-flow instructions commented out? Example:

(** Conditional branches, 64-bit comparisons *)
  (* | Pbeql s1 s2 l => *)
  (*     eval_branch f l rs m (Val.cmplu_bool (Mem.valid_pointer m) Ceq rs###s1 rs###s2) *)
  (* | Pbnel s1 s2 l => *)
  (*     eval_branch f l rs m (Val.cmplu_bool (Mem.valid_pointer m) Cne rs###s1 rs###s2) *)

I see this hotfix line in the CapAsm.v file that explains a block of instructions being commented out, but in my snip above the instructions are commented out individually. It is unclear to me whether the semantics are still a work-in-progress and shouldn't be relied on, or whether they're commented out as part of the hotfix.