--- zzzz-none-000/linux-4.9.231/arch/x86/kernel/tsc.c	2020-07-22 07:10:54.000000000 +0000
+++ falcon-5590-729/linux-4.9.231/arch/x86/kernel/tsc.c	2022-03-30 12:03:34.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)