correct timer.c and kconfig-Makefile

Change-Id: I5de8f46c91771af222a652ae60fc6f67f71b6d25