diff --git a/src/mainboard/asus/kfsn4-dre_k8/acpi_tables.c b/src/mainboard/asus/kfsn4-dre_k8/acpi_tables.c
index 904ad38745..c6d2981360 100644
--- a/src/mainboard/asus/kfsn4-dre_k8/acpi_tables.c
+++ b/src/mainboard/asus/kfsn4-dre_k8/acpi_tables.c
@@ -19,7 +19,7 @@
 #include <device/pci_ids.h>
 #include <cpu/x86/msr.h>
 #include <cpu/amd/mtrr.h>
-#include <cpu/amd/amdfam10_sysconf.h>
+#include <cpu/amd/amdk8_sysconf.h>
 
 /* APIC */
 unsigned long acpi_fill_madt(unsigned long current)
diff --git a/src/mainboard/asus/kfsn4-dre_k8/irq_tables.c b/src/mainboard/asus/kfsn4-dre_k8/irq_tables.c
index 0a990a7518..d06980c773 100644
--- a/src/mainboard/asus/kfsn4-dre_k8/irq_tables.c
+++ b/src/mainboard/asus/kfsn4-dre_k8/irq_tables.c
@@ -28,7 +28,7 @@
 #include <string.h>
 #include <stdint.h>
 #include <arch/pirq_routing.h>
-#include <cpu/amd/amdfam10_sysconf.h>
+#include <cpu/amd/amdk8_sysconf.h>
 
 extern unsigned char bus_isa;
 extern unsigned char bus_ck804[6];
diff --git a/src/mainboard/asus/kfsn4-dre_k8/mptable.c b/src/mainboard/asus/kfsn4-dre_k8/mptable.c
index cdf86a183c..21a433a64f 100644
--- a/src/mainboard/asus/kfsn4-dre_k8/mptable.c
+++ b/src/mainboard/asus/kfsn4-dre_k8/mptable.c
@@ -27,7 +27,7 @@
 #include <device/pci.h>
 #include <string.h>
 #include <stdint.h>
-#include <cpu/amd/amdfam10_sysconf.h>
+#include <cpu/amd/amdk8_sysconf.h>
 
 extern unsigned char bus_ck804[6];
 extern unsigned apicid_ck804;