kernel: use PREEMPT_ENABLED instead of NUM_PREEMPT_PRIORITIES > 0

Change-Id: Ia470211b0da78158bf20400e2f1f33bdc28d1f67
Signed-off-by: Benjamin Walsh <walsh.benj@gmail.com>
1 file changed