cpu/*types.h added and successfully compiled. IDLE task priority changed from 0 to 255 during initialization.