The menuconfig configures Barebox, not the Linux kernel, so no reason to print "Linux" there. Signed-off-by: Uwe Hermann <uwe@hermann-uwe.de> Signed-off-by: Sascha Hauer <s.hauer@pengutronix.de>
Signed-off-by: Jean-Christophe PLAGNIOL-VILLARD <plagnioj@jcrosoft.com>