diff --git a/src/mainboard/ocp/deltalake/fadt.c b/src/mainboard/ocp/deltalake/fadt.c
index b9fcd582ef..6306e03e30 100644
--- a/src/mainboard/ocp/deltalake/fadt.c
+++ b/src/mainboard/ocp/deltalake/fadt.c
@@ -3,7 +3,7 @@
 #include <acpi/acpi.h>
 #include <soc/acpi.h>
 
-void motherboard_fill_fadt(acpi_fadt_t *fadt)
+void mainboard_fill_fadt(acpi_fadt_t *fadt)
 {
 	fadt->preferred_pm_profile = PM_ENTERPRISE_SERVER;
 }
diff --git a/src/soc/intel/xeon_sp/include/soc/acpi.h b/src/soc/intel/xeon_sp/include/soc/acpi.h
index 61639d2a84..60d6321be4 100644
--- a/src/soc/intel/xeon_sp/include/soc/acpi.h
+++ b/src/soc/intel/xeon_sp/include/soc/acpi.h
@@ -20,7 +20,6 @@ typedef struct {
 unsigned long northbridge_write_acpi_tables(const struct device *device,
 	unsigned long current, struct acpi_rsdp *rsdp);
 
-void motherboard_fill_fadt(acpi_fadt_t *fadt);
 
 int calculate_power(int tdp, int p1_ratio, int ratio);
 void uncore_inject_dsdt(const struct device *device);