add kernel headers to default include path
some coding style fixes for timex.c
Merge branch 'master' of github.com:RIOT-OS/RIOT