diff --git a/bdk/soc/timer.c b/bdk/soc/timer.c
index c6c5b83..786f123 100644
--- a/bdk/soc/timer.c
+++ b/bdk/soc/timer.c
@@ -25,6 +25,8 @@
 #define EXCP_TYPE_ADDR 0x4003FFF8
 #define  EXCP_TYPE_WDT 0x544457 // "WDT".
 
+#define USE_RTC_TIMER
+
 u32 get_tmr_s()
 {
 	(void)RTC(APBDEV_RTC_MILLI_SECONDS);
@@ -118,4 +120,4 @@ bool watchdog_fired()
 {
 	// Return if watchdog got fired. User handles clearing.
 	return (*(u32 *)EXCP_TYPE_ADDR == EXCP_TYPE_WDT);
-}
\ No newline at end of file
+}
diff --git a/bdk/utils/util.c b/bdk/utils/util.c
index 878214f..d09fc70 100644
--- a/bdk/utils/util.c
+++ b/bdk/utils/util.c
@@ -29,8 +29,6 @@
 #include <storage/sd.h>
 #include <utils/util.h>
 
-#define USE_RTC_TIMER
-
 u8 bit_count(u32 val)
 {
 	u8 cnt = 0;