--- zzzz-none-000/linux-4.9.218/arch/x86/kernel/tsc.c	2020-04-02 15:20:41.000000000 +0000
+++ seale-7590ac-750/linux-4.9.218/arch/x86/kernel/tsc.c	2022-11-30 09:46:19.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)