Re: [PATCH 6/6] kernel32/tests: remove several todos in test_waittxempty