Re: ntdll: make NtDelayExecution a bit more efficient