[PATCH v4 3/4] ntdll: Simplify futex interface from futex_wake() to futex_wake_one().