syslet: add proper read barrier between user_tail and completion read