1. Cleaning NXP radio driver (first round) 2. defining uint64_t 3. making some variables as extern in tsch-private.h since this compiler has stronger checking than msp430 4. add putchar to uip-debug.h