diff --git a/headers/private/kernel/arch/m68k/arch_platform.h b/headers/private/kernel/arch/m68k/arch_platform.h
index fbcac6a7e1..4b2cc120f4 100644
--- a/headers/private/kernel/arch/m68k/arch_platform.h
+++ b/headers/private/kernel/arch/m68k/arch_platform.h
@@ -5,6 +5,7 @@
 #ifndef _KERNEL_M68K_ARCH_PLATFORM_H
 #define _KERNEL_M68K_ARCH_PLATFORM_H
 
+#include <OS.h>
 #include <arch/platform.h>
 
 struct real_time_data;
diff --git a/src/system/boot/platform/atari_m68k/cpu.cpp b/src/system/boot/platform/atari_m68k/cpu.cpp
index fef2a43156..ee37383075 100644
--- a/src/system/boot/platform/atari_m68k/cpu.cpp
+++ b/src/system/boot/platform/atari_m68k/cpu.cpp
@@ -41,7 +41,7 @@ check_cpu_features()
 	const tos_cookie *c;
 	uint16 cpu_type, fpu_type, fpu_emul;
 	uint16 machine_type;
-	int fpu;
+	int fpu = 0;
 
 	c = tos_find_cookie('_CPU');
 	if (!c) {
diff --git a/src/system/kernel/arch/m68k/arch_platform.cpp b/src/system/kernel/arch/m68k/arch_platform.cpp
index f526c20256..8c57e8cedf 100644
--- a/src/system/kernel/arch/m68k/arch_platform.cpp
+++ b/src/system/kernel/arch/m68k/arch_platform.cpp
@@ -22,8 +22,10 @@ static M68KPlatform *sM68KPlatform;
 
 
 // constructor
-M68KPlatform::M68KPlatform(m68k_platform_type platformType)
-	: fPlatformType(platformType)
+M68KPlatform::M68KPlatform(platform_type platformType,
+	m68k_platform_type m68kPlatformType)
+	: fPlatformType(platformType),
+	  fM68KPlatformType(m68kPlatformType)
 {
 }