--- l15/arch/i386/kernel/process.c	Thu Apr 13 00:07:35 2000
+++ linux/arch/i386/kernel/process.c	Thu Apr 13 00:13:47 2000
@@ -501,7 +501,7 @@
 	    int page;
 
 	    chkpnt=400;
-	    for (page=0; page < (FREEMEMORY >> PAGE_SHIFT); page++)
+	    for (page=0; page < ((FREEMEMORY+PAGE_SIZE-1) >> PAGE_SHIFT); page++)
 		pg0[page] = _PAGE_RW | _PAGE_PRESENT;
 	    chkpnt++;
 	}
@@ -522,9 +522,13 @@
 	/* to avoid that the bios thinks we pressed Ctrl-Alt-Del : */
 	if (chkpnt<600) {
 	    chkpnt=600;
+#ifdef REALLY_USE_REBOOT_SETUP
 	    reboot_setup("c", NULL);
 	    chkpnt++;
 	    *((unsigned short *)0x472) = reboot_mode;
+#else
+	    *((unsigned short *)0x472) = 0x0;
+#endif
 	    chkpnt++;
 	}
 	/* For the switch to real mode, copy some code to low memory, out of