[PATCH v2 1/2] kernel32/tests: Trace thread IDs in hexadecimal.