diff --git a/src/arch/arm64/Makefile.inc b/src/arch/arm64/Makefile.inc
index a5b034abce..f9ddca5cdd 100644
--- a/src/arch/arm64/Makefile.inc
+++ b/src/arch/arm64/Makefile.inc
@@ -118,6 +118,7 @@ ramstage-y += memmove.S
 ramstage-$(CONFIG_ARM64_USE_ARM_TRUSTED_FIRMWARE) += bl31.c
 ramstage-y += transition.c transition_asm.S
 ramstage-$(CONFIG_PAYLOAD_FIT_SUPPORT) += fit_payload.c
+ramstage-$(CONFIG_HAVE_ACPI_SUPPORT) += acpi.c
 
 rmodules_arm64-y += memset.S
 rmodules_arm64-y += memcpy.S
diff --git a/src/arch/arm64/acpi.c b/src/arch/arm64/acpi.c
new file mode 100644
index 0000000000..30ccc303bf
--- /dev/null
+++ b/src/arch/arm64/acpi.c
@@ -0,0 +1,7 @@
+/* SPDX-License-Identifier: GPL-2.0-only */
+#include <acpi/acpi.h>
+
+void arch_fill_fadt(acpi_fadt_t *fadt)
+{
+	fadt->flags |= ACPI_FADT_HW_REDUCED_ACPI | ACPI_FADT_LOW_PWR_IDLE_S0;
+}