1.Bug fix: Scheduling next slot was failing on NXP due to a wrong variable typr (uint16 instead of rtimer_clock_t). 2. Adding some time profiling for debugging