--- a/init/main.c
+++ b/init/main.c
@@ -706,6 +706,8 @@ asmlinkage __visible void __init start_kernel(void)
 		efi_free_boot_services();
 	}
 
+	BUG();
+
 	/* Do the rest non-__init'ed, we're now alive */
 	rest_init();
 }