doc/ck_pr: Additional manual pages.
ck_hp: hp_acquire patterns require strict fences under TSO.

Several counter-examples were found which break in the
presence of store-to-load re-ordering. Strict fence
semantics are necessary.

Thanks to Paul McKenney for helpful discussions.
ck_hp_stack: Style fixes.
ck_hp_fifo: Style fixes.