[PATCH] ntdll: Use %I64x instead of %lx to trace 64-bit values.