of_print_cmdline() is passed a devicetree, so use this one instead of the internal devicetree. This fixes the cmdline printout when bootm on ARM is used with an external devicetree. Signed-off-by: Sascha Hauer <s.hauer@pengutronix.de>