Fixing scheduler to use correct defines from mark3cfg.h instead of scheduler.h for determining number of thread priorities.
Authored by: m0slevin 2016-01-23
Parent: [r301]
Child: [r303]
