fix failure of pthread_setschedparam to pass correct param to kernel