diff --git a/arch/Kconfig b/arch/Kconfig
index 863f7b66618..66ce1279daa 100644
--- a/arch/Kconfig
+++ b/arch/Kconfig
@@ -145,6 +145,10 @@ config ARCH_NAND_HWECC
 	bool
 	default n
 
+config ARCH_HAVE_EXTCLK
+	bool
+	default n
+
 menuconfig PAGING
 	bool "On-demand paging"
 	default n
diff --git a/arch/arm/src/sam34/Kconfig b/arch/arm/src/sam34/Kconfig
index 62ddf0743d9..8e5465cb53f 100644
--- a/arch/arm/src/sam34/Kconfig
+++ b/arch/arm/src/sam34/Kconfig
@@ -1199,6 +1199,7 @@ endmenu # USB Full Speed Device Controller driver (DCD) options
 config SAM34_TC
 	bool
 	default n
+	select ARCH_HAVE_EXTCLK
 
 menu "AT91SAM3/4 Timer/Counter options"
 	depends on SAM34_TC