Issue #12871: sched_get_priority_(min|max) might not be defined even though

<sched.h> is available (most notably on OpenBSD when built without pthread):
add an explicit configure check.