Make ms_queue_c11 use c11 orderings
Make ms_queue_c11 use c11 orderings

msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler