use external 32.768 kHz oscillator for RTC

Change-Id: Ic4630abececdb631e8cc15baab7137fc15e2a66a
diff --git a/sysmoOCTSIM/config/hpl_osc32kctrl_config.h b/sysmoOCTSIM/config/hpl_osc32kctrl_config.h
index d0b0d34..943dfea 100644
--- a/sysmoOCTSIM/config/hpl_osc32kctrl_config.h
+++ b/sysmoOCTSIM/config/hpl_osc32kctrl_config.h
@@ -17,14 +17,14 @@
 // <i> This defines the clock source for RTC
 // <id> rtc_source_oscillator
 #ifndef CONF_RTCCTRL_SRC
-#define CONF_RTCCTRL_SRC GCLK_GENCTRL_SRC_OSCULP32K
+#define CONF_RTCCTRL_SRC GCLK_GENCTRL_SRC_XOSC32K
 #endif
 
 // <q> Use 1 kHz output
 // <id> rtc_1khz_selection
 #ifndef CONF_RTCCTRL_1KHZ
 
-#define CONF_RTCCTRL_1KHZ 1
+#define CONF_RTCCTRL_1KHZ 0
 
 #endif