Fixes for other platforms.

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();

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();

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

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

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