reuse pthread_arch.h from arch/arm