--- zzzz-none-000/linux-2.6.39.4/arch/arm/kernel/time.c	2011-08-03 19:43:28.000000000 +0000
+++ puma6-atom-6490-729/linux-2.6.39.4/arch/arm/kernel/time.c	2021-11-10 13:38:14.000000000 +0000
@@ -99,8 +99,8 @@
 #endif
 
 
-#ifndef CONFIG_GENERIC_CLOCKEVENTS
-/*
+/*--- #ifndef CONFIG_GENERIC_CLOCKEVENTS ---*/
+ /*
  * Kernel system timer support.
  */
 void timer_tick(void)
@@ -112,7 +112,8 @@
 	update_process_times(user_mode(get_irq_regs()));
 #endif
 }
-#endif
+/*#endif*/
+
 
 #if defined(CONFIG_PM) && !defined(CONFIG_GENERIC_CLOCKEVENTS)
 static int timer_suspend(struct sys_device *dev, pm_message_t state)