diff --git a/headers/private/kernel/arch/arm64/arch_kernel_args.h b/headers/private/kernel/arch/arm64/arch_kernel_args.h
index 66c844465e..81b080b0ab 100644
--- a/headers/private/kernel/arch/arm64/arch_kernel_args.h
+++ b/headers/private/kernel/arch/arm64/arch_kernel_args.h
@@ -1,19 +1,28 @@
 /*
- * Copyright 2018, Jaroslaw Pelczar <jarek@jpelczar.com>
- * Distributed under the terms of the MIT License.
- */
-#ifndef _KERNEL_ARCH_ARM64_ARCH_KERNEL_ARGS_H_
-#define _KERNEL_ARCH_ARM64_ARCH_KERNEL_ARGS_H_
-
+** Copyright 2021 Haiku, Inc. All rights reserved.
+** Distributed under the terms of the MIT License.
+*/
+#ifndef KERNEL_ARCH_ARM64_KERNEL_ARGS_H
+#define KERNEL_ARCH_ARM64_KERNEL_ARGS_H
 
 #ifndef KERNEL_BOOT_KERNEL_ARGS_H
 #	error This file is included from <boot/kernel_args.h> only
 #endif
 
 
+#include <util/FixedWidthPointer.h>
+#include <boot/uart.h>
+
+
+#define _PACKED __attribute__((packed))
+
+
 typedef struct {
-	int			nothing_yet;
-} arch_kernel_args;
+	// 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;
+//	uart_info		uart;
+} _PACKED arch_kernel_args;
 
-
-#endif /* _KERNEL_ARCH_ARM64_ARCH_KERNEL_ARGS_H_ */
+#endif	/* KERNEL_ARCH_ARM64_KERNEL_ARGS_H */