wsn430-v1_4b: don't always link cc2420
Fix test_pnet

fixes #829
Merge pull request #999 from OlegHahm/wsn430-v1_4_wo_radio

wsn430-v1_4b: don't always link cc2420
Merge pull request #830 from authmillenon/fix_test_pnet

tests: Fix test_pnet
fix doxygen documentation for clist.h, config.h, tcb.h and cib.h
Merge pull request #955 from thomaseichinger/fix_doc

core: documentation: fix doxygen documentation in cib.h clist.h config.h tcb.h
pthreads: shift around defs in .h files
pthread: fix spinlock