While here use the correct barrier to ensure completion of memory accesses before a couple of the sev() calls.