Allow kernel to be compile without _KPOSIX_PRIORITY_SCHEDULING.