Use acq_rel in atomic_fetch_{or,and} for kern_bmtx.

Also make wrapper around the atomic_c11 calls, code reads better.