Move some stuff from pthreaddef.h to kernel-features.h