[PATCH 02/17] futex: Use smp_store_release() in mark_wake_futex()