platform_start_kernel() now prints out the kernel entry point instead of

the address of the kernel_args structure.


git-svn-id: file:///srv/svn/repos/haiku/trunk/current@7285 a95241bf-73f2-0310-859d-f6bbb57e9c96

src/kernel/boot/platform/bios_ia32/start.c

@@ -56,7 +56,7 @@ void
 platform_start_kernel(void)
 {
 	mmu_init_for_kernel();
-	printf("kernel args at %p\n", &gKernelArgs);
+	printf("kernel entry at %lx\n", gKernelEntry);
 
 	asm("movl	%0, %%eax;	"			// move stack out of way
 		"movl	%%eax, %%esp; "