cpu: use typed function pointer for thread_arch_init

The function pointer typedef already exists, but haven't been used for thread_init().