--- zzzz-none-000/linux-4.9.276/arch/x86/kernel/tsc.c	2021-07-20 14:21:16.000000000 +0000
+++ falcon-5530-750/linux-4.9.276/arch/x86/kernel/tsc.c	2023-04-05 08:19:00.000000000 +0000
@@ -329,7 +329,7 @@
 }
 #else
 unsigned long long
-sched_clock(void) __attribute__((alias("native_sched_clock")));
+sched_clock(void) __attribute__((weak, alias("native_sched_clock")));
 #endif
 
 int check_tsc_unstable(void)