defconfig: user accessible timers

Change-Id: Ib743ee6f341cdf6531bc23848af88efe4baf5dd9