PIC32 Core Timer and xTimerCreate()

@aggarg I am sorry for providing wrong information earlier…