|
@@ -177,7 +177,7 @@ Signed-off-by: Christian Marangi <[email protected]>
|
|
#include <linux/bootconfig.h>
|
|
#include <linux/bootconfig.h>
|
|
#include <linux/console.h>
|
|
#include <linux/console.h>
|
|
#include <linux/nmi.h>
|
|
#include <linux/nmi.h>
|
|
-@@ -929,6 +930,17 @@ void start_kernel(void)
|
|
|
|
|
|
+@@ -930,6 +931,17 @@ void start_kernel(void)
|
|
pr_notice("Kernel command line: %s\n", saved_command_line);
|
|
pr_notice("Kernel command line: %s\n", saved_command_line);
|
|
/* parameters may set static keys */
|
|
/* parameters may set static keys */
|
|
jump_label_init();
|
|
jump_label_init();
|