diff --git a/headers/private/kernel/arch/arm/arch_kernel_args.h b/headers/private/kernel/arch/arm/arch_kernel_args.h
index 86ce4b7335..32297eb54d 100644
--- a/headers/private/kernel/arch/arm/arch_kernel_args.h
+++ b/headers/private/kernel/arch/arm/arch_kernel_args.h
@@ -23,12 +23,6 @@
 
 // kernel args
 typedef struct {
-	int		cpu_type;
-	int		fpu_type;
-	int		mmu_type;
-	int		platform;
-	int		machine; // platform specific machine type
-
 	// architecture specific
 	uint32	phys_pgdir;
 	uint32	vir_pgdir;
diff --git a/src/system/kernel/arch/arm/arch_cpu.cpp b/src/system/kernel/arch/arm/arch_cpu.cpp
index e368593e32..a751b6ee93 100644
--- a/src/system/kernel/arch/arm/arch_cpu.cpp
+++ b/src/system/kernel/arch/arm/arch_cpu.cpp
@@ -18,17 +18,9 @@
 #include <elf.h>
 
 
-int arch_cpu_type;
-int arch_fpu_type;
-int arch_mmu_type;
-int arch_platform;
-
 status_t
 arch_cpu_preboot_init_percpu(kernel_args *args, int curr_cpu)
 {
-	// enable FPU
-	//ppc:set_msr(get_msr() | MSR_FP_AVAILABLE);
-
 	// The current thread must be NULL for all CPUs till we have threads.
 	// Some boot code relies on this.
 	arch_thread_set_current_thread(NULL);
@@ -50,12 +42,6 @@ arch_cpu_init_percpu(kernel_args *args, int curr_cpu)
 status_t
 arch_cpu_init(kernel_args *args)
 {
-	arch_cpu_type = args->arch_args.cpu_type;
-	arch_fpu_type = args->arch_args.fpu_type;
-	arch_mmu_type = args->arch_args.mmu_type;
-	arch_platform = args->arch_args.platform;
-	arch_platform = args->arch_args.machine;
-
 	return B_OK;
 }