--- zzzz-none-000/linux-5.15.111/arch/x86/kernel/Makefile	2023-05-11 14:00:40.000000000 +0000
+++ puma7-atom-6670-761/linux-5.15.111/arch/x86/kernel/Makefile	2024-02-07 10:22:35.000000000 +0000
@@ -1,5 +1,10 @@
 # SPDX-License-Identifier: GPL-2.0
 #
+# Includes Intel Corporation's changes/modifications dated: 2017.
+# Changed/modified portions - Copyright (c) 2017, Intel Corporation.
+#
+
+#
 # Makefile for the linux kernel.
 #
 
@@ -69,7 +74,7 @@
 obj-$(CONFIG_SYSFS)	+= ksysfs.o
 obj-y			+= bootflag.o e820.o
 obj-y			+= pci-dma.o quirks.o topology.o kdebugfs.o
-obj-y			+= alternative.o i8253.o hw_breakpoint.o
+obj-y			+= alternative.o i8253.o
 obj-y			+= tsc.o tsc_msr.o io_delay.o rtc.o
 obj-y			+= pci-iommu_table.o
 obj-y			+= resource.o
@@ -117,6 +122,7 @@
 obj-$(CONFIG_KGDB)		+= kgdb.o
 obj-$(CONFIG_VM86)		+= vm86_32.o
 obj-$(CONFIG_EARLY_PRINTK)	+= early_printk.o
+obj-$(CONFIG_HW_BREAKPOINTS)	+= hw_breakpoint.o
 
 obj-$(CONFIG_HPET_TIMER) 	+= hpet.o