fix timer choice in Kconfig. HAVE_INIT_TIMER is selected correctly, no need to
-rw-r--r-- 17987 COPYING
-rw-r--r-- 12858 Makefile
-rw-r--r-- 2577 README
drwxr-xr-x - documentation
drwxr-xr-x - payloads
drwxr-xr-x - src
drwxr-xr-x - util