#include <linux/bootconfig.h>
#include <linux/console.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);
/* parameters may set static keys */
jump_label_init();