diff --git a/headers/private/kernel/arch/arm64/arch_kernel_args.h b/headers/private/kernel/arch/arm64/arch_kernel_args.h
index b65efa5039..81b080b0ab 100644
--- a/headers/private/kernel/arch/arm64/arch_kernel_args.h
+++ b/headers/private/kernel/arch/arm64/arch_kernel_args.h
@@ -21,7 +21,7 @@ typedef struct {
 	// needed for UEFI, otherwise kernel acpi support can't find ACPI root
 	FixedWidthPointer<void> acpi_root;
 //	TODO:  Deal with this later in the port
-	FixedWidthPointer<void> fdt;
+//	FixedWidthPointer<void> fdt;
 //	uart_info		uart;
 } _PACKED arch_kernel_args;
 
diff --git a/src/system/kernel/arch/arm64/arch_platform.cpp b/src/system/kernel/arch/arm64/arch_platform.cpp
index fd10e94d63..95c1285264 100644
--- a/src/system/kernel/arch/arm64/arch_platform.cpp
+++ b/src/system/kernel/arch/arm64/arch_platform.cpp
@@ -7,13 +7,9 @@
 #include <boot/kernel_args.h>
 
 
-void* gFDT = NULL;
-
-
 status_t
 arch_platform_init(struct kernel_args *kernelArgs)
 {
-	gFDT = kernelArgs->arch_args.fdt;
 	return B_OK;
 }