--- s390-tools-1.24.1/zipl/boot/menu.c	2013-12-18 11:11:45.000000000 -0500
+++ s390-tools-1.24.1/zipl/boot/menu.c	2013-12-18 11:59:18.000000000 -0500
@@ -167,8 +167,11 @@
 	/* 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();