diff --git a/examples/efm32/tinygecko/olimex-em32-32g880f128-h/miniblink-efm32lib/core_cm3.h b/examples/efm32/tinygecko/olimex-em32-32g880f128-h/miniblink-efm32lib/core_cm3.h
deleted file mode 120000
index b7a19ea6..00000000
--- a/examples/efm32/tinygecko/olimex-em32-32g880f128-h/miniblink-efm32lib/core_cm3.h
+++ /dev/null
@@ -1 +0,0 @@
-../../efm32-tg-stk3300/miniblink-efm32lib/core_cm3.h
\ No newline at end of file
diff --git a/examples/efm32/tinygecko/olimex-em32-32g880f128-h/test-efm32lib/core_cm3.c b/examples/efm32/tinygecko/olimex-em32-32g880f128-h/test-efm32lib/core_cm3.c
deleted file mode 100644
index 8b412ad2..00000000
--- a/examples/efm32/tinygecko/olimex-em32-32g880f128-h/test-efm32lib/core_cm3.c
+++ /dev/null
@@ -1,8 +0,0 @@
-#include "core_cm3.h"
-
-/* stubs for efm32_cmu.c */
-uint32_t SystemCoreClockGet(void) {return 1;}
-uint32_t SystemHFClockGet(void) {return 1;}
-
-uint32_t SystemLFRCOClockGet(void) {return 1;}
-uint32_t SystemLFXOClockGet(void) {return 1;}
diff --git a/examples/efm32/tinygecko/olimex-em32-32g880f128-h/test-efm32lib/core_cm3.h b/examples/efm32/tinygecko/olimex-em32-32g880f128-h/test-efm32lib/core_cm3.h
deleted file mode 120000
index b7a19ea6..00000000
--- a/examples/efm32/tinygecko/olimex-em32-32g880f128-h/test-efm32lib/core_cm3.h
+++ /dev/null
@@ -1 +0,0 @@
-../../efm32-tg-stk3300/miniblink-efm32lib/core_cm3.h
\ No newline at end of file
diff --git a/examples/efm32/tinygecko/efm32-tg-stk3300/miniblink-efm32lib/core_cm3.h b/include/libopencmsis/core_cm3.h
similarity index 97%
rename from examples/efm32/tinygecko/efm32-tg-stk3300/miniblink-efm32lib/core_cm3.h
rename to include/libopencmsis/core_cm3.h
index 2ce16621..999fc48f 100644
--- a/examples/efm32/tinygecko/efm32-tg-stk3300/miniblink-efm32lib/core_cm3.h
+++ b/include/libopencmsis/core_cm3.h
@@ -49,8 +49,8 @@ typedef struct
 #define __REV(x) __builtin_bswap32(x)
 
 /* stubs for efm32_cmu.c */
-uint32_t SystemCoreClockGet(void);
-uint32_t SystemHFClockGet(void);
+#define SystemCoreClockGet() 1
+#define SystemHFClockGet() 1
 
 uint32_t SystemLFRCOClockGet(void);
 uint32_t SystemLFXOClockGet(void);