no USE_BOOTPARAM

kernel/arch/i386/arch_system.c

@@ -163,7 +163,6 @@ __dead void arch_shutdown(int how)
 		reset();
 	}
 
-#if USE_BOOTPARAM
 	if (how == RBT_DEFAULT) {
 		how = RBT_RESET;
 	}
@@ -190,10 +189,6 @@ __dead void arch_shutdown(int how)
 			reset();
 			NOT_REACHABLE;
 	}
-#else /* !USE_BOOTPARAM */
-	/* Poweroff without boot monitor */
-	arch_bios_poweroff();
-#endif
 
 	NOT_REACHABLE;
 }

kernel/start.c

@@ -41,7 +41,6 @@ void cstart(
   /* Copy the boot parameters to the local buffer. */
   arch_get_params(params_buffer, sizeof(params_buffer));
 
-#if USE_BOOTPARAM
   /* determine verbosity */
   if ((value = env_get(VERBOSEBOOTVARNAME)))
 	  verboseboot = atoi(value);
@@ -52,9 +51,6 @@ void cstart(
 	system_hz = atoi(value);
   if(!value || system_hz < 2 || system_hz > 50000)	/* sanity check */
 	system_hz = DEFAULT_HZ;
-#else /* !USE_BOOTPARAM */
-  system_hz = DEFAULT_HZ;
-#endif
 
 #ifdef DEBUG_SERIAL
   /* Intitialize serial debugging */