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