diff -r a103abae1560 -r 68cc5a0d3191 kconfig/menu.c
--- a/kconfig/menu.c	Sun May 08 14:14:40 2011 +0200
+++ b/kconfig/menu.c	Sun May 08 15:12:55 2011 +0200
@@ -133,7 +133,13 @@
 	prop->visible.expr = menu_check_dep(dep);
 
 	if (prompt) {
-		if (isspace(*prompt)) {
+		/* For crostool-NG, a leading pipe followed with spaces
+		 * means that pipe shall be removed, and the spaces should
+		 * not be trimmed.
+		 */
+		if (*prompt == '|')
+			prompt++;
+		else if (isspace(*prompt)) {
 			prop_warn(prop, "leading whitespace ignored");
 			while (isspace(*prompt))
 				prompt++;