ntdll: make NtDelayExecution a bit more efficient