Index: s390-tools-2.30.0/zipl/boot/menu.c
===================================================================
--- s390-tools-2.30.0.orig/zipl/boot/menu.c
+++ s390-tools-2.30.0/zipl/boot/menu.c
@@ -168,8 +168,11 @@ int menu(void)
 	/* print config list */
 	menu_list();
 
-	if (is_zvm())
-		printf("Note: VM users please use '#cp vi vmsg <input>'\n");
+	if (is_zvm()) {
+		printf(" \n");
+		printf("Note: VM users please use '#cp vi vmsg <input> <kernel-parameters>'\n");
+		printf(" \n");
+	}
 
 	value = menu_read();