PIC32 Core Timer and xTimerCreate()

Again, globally disabled interrupts appear to be a hot candidate. When the scheduler starts, interrupts are enabled.