diff --git a/src/efi/mod.rs b/src/efi/mod.rs
index 607f96bf..93641768 100644
--- a/src/efi/mod.rs
+++ b/src/efi/mod.rs
@@ -1115,6 +1115,9 @@ pub fn efi_exec(
     let mut ct_index = 0;
 
     // Populate with FDT table if present
+    // To ensure ACPI is used during boot do not include FDT table on aarch64
+    // https://github.com/torvalds/linux/blob/d528014517f2b0531862c02865b9d4c908019dc4/arch/arm64/kernel/acpi.c#L203
+    #[cfg(not(target_arch = "aarch64"))]
     if let Some(fdt_entry) = info.fdt_reservation() {
         ct[ct_index] = efi::ConfigurationTable {
             vendor_guid: Guid::from_fields(