Fix use after free in ktimer_destroy
Fix double-call on ktimer callbacks

ktimer callback was called twice on normal expiration for timers with
the TF_ALWAYS flag.
Merge branch 'master' of https://github.com/drewt/Telos
More comprehensive <kernel/elf.h>