Fix thread arg type for pthread_setname_np

[ghpzin]

• change thread arg type to cen64_thread instead of cen64_thread * (pthread_t instead of pthread_t *) according to definition of pthread_setname_np from <pthread.h>:
  int pthread_setname_np(pthread_t thread, const char *name);
  fixes gcc14 errors:

/build/source/cen64.c:475:24: error: passing argument 1 of 'cen64_thread_setname' makes pointer from integer without a cast [-Wint-conversion]
  475 |   cen64_thread_setname(thread, "device");
      |                        ^~~~~~
      |                        |
      |                        cen64_thread {aka long unsigned int}
In file included from /build/source/device/device.h:26,
                 from /build/source/cen64.c:15:
/build/source/os/posix/thread.h:59:54: note: expected 'cen64_thread *' {aka 'long unsigned int *'} but argument is of type 'cen64_thread' {aka 'lo>
   59 | static inline int cen64_thread_setname(cen64_thread *t, const char *name) {
      |                                        ~~~~~~~~~~~~~~^

• add cast to cen64_thread from NULL where cen64_thread is called with it, fixes gcc14 errors:

/build/source/gdb/gdb.c:82:24: error: passing argument 1 of 'cen64_thread_setname' makes integer from pointer without a cast [-Wint-conversion]
   82 |   cen64_thread_setname(NULL, "gdb");
      |                        ^~~~
      |                        |
      |                        void *
/build/source/os/posix/thread.h:59:53: note: expected 'cen64_thread' {aka 'long unsigned int'} but argument is of type 'void *'
   59 | static inline int cen64_thread_setname(cen64_thread t, const char *name) {
      |                                        ~~~~~~~~~~~~~^

---

This combined with part from #191:
f13bdf9
adding casts in bus/controller.c (other changes from that commit seem to be already in master) should make cen64 build with gcc14