It's a precious information that barebox will boot the kernel with the internal devicetree, so print it even in non verbose mode. Signed-off-by: Sascha Hauer <s.hauer@pengutronix.de>