--- zzzz-none-000/linux-4.9.231/drivers/clocksource/Makefile	2020-07-22 07:10:54.000000000 +0000
+++ falcon-5530-730/linux-4.9.231/drivers/clocksource/Makefile	2022-08-31 08:19:48.000000000 +0000
@@ -61,6 +61,7 @@
 obj-$(CONFIG_INTEGRATOR_AP_TIMER)	+= timer-integrator-ap.o
 obj-$(CONFIG_CLKSRC_VERSATILE)		+= versatile.o
 obj-$(CONFIG_CLKSRC_MIPS_GIC)		+= mips-gic-timer.o
+obj-$(CONFIG_INTEL_GPTC)		+= intel-gptc-timer.o
 obj-$(CONFIG_CLKSRC_TANGO_XTAL)		+= tango_xtal.o
 obj-$(CONFIG_CLKSRC_IMX_GPT)		+= timer-imx-gpt.o
 obj-$(CONFIG_ASM9260_TIMER)		+= asm9260_timer.o