diff --git a/src/system/boot/platform/amiga_m68k/start.cpp b/src/system/boot/platform/amiga_m68k/start.cpp
index 490778e2dd..8881ca7209 100644
--- a/src/system/boot/platform/amiga_m68k/start.cpp
+++ b/src/system/boot/platform/amiga_m68k/start.cpp
@@ -75,7 +75,7 @@ platform_start_kernel(void)
 		= gKernelArgs.cpu_kstack[0].start + gKernelArgs.cpu_kstack[0].size;
 
 	preloaded_elf32_image *image = static_cast<preloaded_elf32_image *>(
-		gKernelArgs.kernel_image);
+		gKernelArgs.kernel_image.Pointer());
 
 	//smp_init_other_cpus();
 	//serial_cleanup();
diff --git a/src/system/boot/platform/atari_m68k/start.cpp b/src/system/boot/platform/atari_m68k/start.cpp
index 76fd2c733a..c0f6503bcc 100644
--- a/src/system/boot/platform/atari_m68k/start.cpp
+++ b/src/system/boot/platform/atari_m68k/start.cpp
@@ -75,7 +75,7 @@ platform_start_kernel(void)
 		= gKernelArgs.cpu_kstack[0].start + gKernelArgs.cpu_kstack[0].size;
 
 	preloaded_elf32_image *image = static_cast<preloaded_elf32_image *>(
-		gKernelArgs.kernel_image);
+		gKernelArgs.kernel_image.Pointer());
 
 	//smp_init_other_cpus();
 	//serial_cleanup();
diff --git a/src/system/boot/platform/cfe/start.cpp b/src/system/boot/platform/cfe/start.cpp
index 8d72532030..b9a8dafb82 100644
--- a/src/system/boot/platform/cfe/start.cpp
+++ b/src/system/boot/platform/cfe/start.cpp
@@ -61,7 +61,7 @@ extern "C" void
 platform_start_kernel(void)
 {
 	preloaded_elf32_image* image = static_cast<preloaded_elf32_image*>(
-		gKernelArgs.kernel_image);
+		gKernelArgs.kernel_image.Pointer());
 
 	addr_t kernelEntry = image->elf_header.e_entry;
 	addr_t stackTop = gKernelArgs.cpu_kstack[0].start
diff --git a/src/system/boot/platform/openfirmware/start.cpp b/src/system/boot/platform/openfirmware/start.cpp
index d1729ad3c6..0d983e8292 100644
--- a/src/system/boot/platform/openfirmware/start.cpp
+++ b/src/system/boot/platform/openfirmware/start.cpp
@@ -96,7 +96,7 @@ extern "C" void
 platform_start_kernel(void)
 {
 	preloaded_elf32_image* image = static_cast<preloaded_elf32_image*>(
-		gKernelArgs.kernel_image);
+		gKernelArgs.kernel_image.Pointer());
 
 	addr_t kernelEntry = image->elf_header.e_entry;
 	addr_t stackTop = gKernelArgs.cpu_kstack[0].start
diff --git a/src/system/boot/platform/u-boot/start.cpp b/src/system/boot/platform/u-boot/start.cpp
index 0f1fa00fcc..a3b93bcc84 100644
--- a/src/system/boot/platform/u-boot/start.cpp
+++ b/src/system/boot/platform/u-boot/start.cpp
@@ -91,7 +91,7 @@ extern "C" void
 platform_start_kernel(void)
 {
 	preloaded_elf32_image *image = static_cast<preloaded_elf32_image *>(
-		gKernelArgs.kernel_image);
+		gKernelArgs.kernel_image.Pointer());
 
 	addr_t kernelEntry = image->elf_header.e_entry;
 	addr_t stackTop