--- 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
@@ -166,7 +166,9 @@
 	menu_list();
 
 	if (is_zvm())
-		printf("Note: VM users please use '#cp vi vmsg <input>'\n");
+		printf(" \n");
+		printf("Note: VM users please use '#cp vi vmsg <input> <kernel-parameters>'\n");
+		printf(" \n");
 
 	value = menu_read();