toradex: common: Improve product/serial print during boot

Add product id print in show_board_info(), with an increasing number of
Toradex SKUs available with small differences it makes sense to print it.

Move serial number print to a dedicated line, this prevents the previous
line with the product name to overflow the 80 columns with any
reasonable product name length.

Signed-off-by: Francesco Dolcini <francesco.dolcini@toradex.com>

board/toradex/common/tdx-common.c

@@ -115,10 +115,11 @@ int show_board_info(void)
 
 		env_set("serial#", tdx_serial_str);
 
-		printf("Model: Toradex %s %s, Serial# %s\n",
+		printf("Model: Toradex %04d %s %s\n",
+		       tdx_hw_tag.prodid,
 		       toradex_modules[tdx_hw_tag.prodid].name,
-		       tdx_board_rev_str,
-		       tdx_serial_str);
+		       tdx_board_rev_str);
+		printf("Serial#: %s\n", tdx_serial_str);
 #ifdef CONFIG_TDX_CFG_BLOCK_EXTRA
 		if (read_tdx_cfg_block_carrier()) {
 			printf("MISSING TORADEX CARRIER CONFIG BLOCKS\n");