|
@@ -91,9 +91,6 @@ void __init x86_64_start_kernel(char * real_mode_data)
|
|
#ifdef CONFIG_SMP
|
|
#ifdef CONFIG_SMP
|
|
cpu_set(0, cpu_online_map);
|
|
cpu_set(0, cpu_online_map);
|
|
#endif
|
|
#endif
|
|
- /* default console: */
|
|
|
|
- if (!strstr(saved_command_line, "console="))
|
|
|
|
- strcat(saved_command_line, " console=tty0");
|
|
|
|
s = strstr(saved_command_line, "earlyprintk=");
|
|
s = strstr(saved_command_line, "earlyprintk=");
|
|
if (s != NULL)
|
|
if (s != NULL)
|
|
setup_early_printk(s);
|
|
setup_early_printk(s);
|