6 files changed, 21 insertions, 9 deletions
diff --git a/src/mainboard/facebook/fbg1701/acpi_tables.c b/src/mainboard/facebook/fbg1701/acpi_tables.c
index 539a74e8a8..8492704b74 100644
--- a/src/mainboard/facebook/fbg1701/acpi_tables.c
+++ b/src/mainboard/facebook/fbg1701/acpi_tables.c
@@ -37,3 +37,9 @@ unsigned long acpi_fill_madt(unsigned long current)
 
 	return current;
 }
+
+void motherboard_fill_fadt(acpi_fadt_t *fadt)
+{
+	fadt->preferred_pm_profile = PM_MOBILE;
+	fadt->iapc_boot_arch &= ~ACPI_FADT_8042;
+}
diff --git a/src/mainboard/facebook/fbg1701/fadt.c b/src/mainboard/facebook/fbg1701/fadt.c
index 3785f15d8f..cd15725a98 100644
--- a/src/mainboard/facebook/fbg1701/fadt.c
+++ b/src/mainboard/facebook/fbg1701/fadt.c
@@ -18,7 +18,6 @@ void acpi_create_fadt(acpi_fadt_t *fadt, acpi_facs_t *facs, void *dsdt)
 
 	fadt->firmware_ctrl = (unsigned long) facs;
 	fadt->dsdt = (unsigned long) dsdt;
-	fadt->preferred_pm_profile = PM_MOBILE;
 
 	fadt->x_firmware_ctl_l = (unsigned long)facs;
 	fadt->x_firmware_ctl_h = 0;
@@ -26,8 +25,7 @@ void acpi_create_fadt(acpi_fadt_t *fadt, acpi_facs_t *facs, void *dsdt)
 	fadt->x_dsdt_h = 0;
 
 	acpi_fill_in_fadt(fadt);
-
-	fadt->iapc_boot_arch &= ~ACPI_FADT_8042;
+	motherboard_fill_fadt(fadt);
 
 	header->checksum =
 	    acpi_checksum((void *) fadt, header->length);
diff --git a/src/mainboard/portwell/m107/acpi_tables.c b/src/mainboard/portwell/m107/acpi_tables.c
index 539a74e8a8..8492704b74 100644
--- a/src/mainboard/portwell/m107/acpi_tables.c
+++ b/src/mainboard/portwell/m107/acpi_tables.c
@@ -37,3 +37,9 @@ unsigned long acpi_fill_madt(unsigned long current)
 
 	return current;
 }
+
+void motherboard_fill_fadt(acpi_fadt_t *fadt)
+{
+	fadt->preferred_pm_profile = PM_MOBILE;
+	fadt->iapc_boot_arch &= ~ACPI_FADT_8042;
+}
diff --git a/src/mainboard/portwell/m107/fadt.c b/src/mainboard/portwell/m107/fadt.c
index 3785f15d8f..cd15725a98 100644
--- a/src/mainboard/portwell/m107/fadt.c
+++ b/src/mainboard/portwell/m107/fadt.c
@@ -18,7 +18,6 @@ void acpi_create_fadt(acpi_fadt_t *fadt, acpi_facs_t *facs, void *dsdt)
 
 	fadt->firmware_ctrl = (unsigned long) facs;
 	fadt->dsdt = (unsigned long) dsdt;
-	fadt->preferred_pm_profile = PM_MOBILE;
 
 	fadt->x_firmware_ctl_l = (unsigned long)facs;
 	fadt->x_firmware_ctl_h = 0;
@@ -26,8 +25,7 @@ void acpi_create_fadt(acpi_fadt_t *fadt, acpi_facs_t *facs, void *dsdt)
 	fadt->x_dsdt_h = 0;
 
 	acpi_fill_in_fadt(fadt);
-
-	fadt->iapc_boot_arch &= ~ACPI_FADT_8042;
+	motherboard_fill_fadt(fadt);
 
 	header->checksum =
 	    acpi_checksum((void *) fadt, header->length);
diff --git a/src/mainboard/protectli/vault_bsw/acpi_tables.c b/src/mainboard/protectli/vault_bsw/acpi_tables.c
index f502741f5c..9ecb5ac0b0 100644
--- a/src/mainboard/protectli/vault_bsw/acpi_tables.c
+++ b/src/mainboard/protectli/vault_bsw/acpi_tables.c
@@ -27,3 +27,9 @@ unsigned long acpi_fill_madt(unsigned long current)
 
 	return current;
 }
+
+void motherboard_fill_fadt(acpi_fadt_t *fadt)
+{
+	fadt->preferred_pm_profile = PM_MOBILE;
+	fadt->iapc_boot_arch = ACPI_FADT_LEGACY_DEVICES;
+}
diff --git a/src/mainboard/protectli/vault_bsw/fadt.c b/src/mainboard/protectli/vault_bsw/fadt.c
index 755ac6e919..2a32c7956c 100644
--- a/src/mainboard/protectli/vault_bsw/fadt.c
+++ b/src/mainboard/protectli/vault_bsw/fadt.c
@@ -19,7 +19,6 @@ void acpi_create_fadt(acpi_fadt_t *fadt, acpi_facs_t *facs, void *dsdt)
 
 	fadt->firmware_ctrl = (unsigned long)facs;
 	fadt->dsdt = (unsigned long) dsdt;
-	fadt->preferred_pm_profile = PM_MOBILE;
 
 	fadt->x_firmware_ctl_l = (unsigned long)facs;
 	fadt->x_firmware_ctl_h = 0;
@@ -27,8 +26,7 @@ void acpi_create_fadt(acpi_fadt_t *fadt, acpi_facs_t *facs, void *dsdt)
 	fadt->x_dsdt_h = 0;
 
 	acpi_fill_in_fadt(fadt);
-
-	fadt->iapc_boot_arch = ACPI_FADT_LEGACY_DEVICES;
+	motherboard_fill_fadt(fadt);
 
 	header->checksum = acpi_checksum((void *)fadt, header->length);
 }