diff --git a/board/toradex/common/tdx-common.c b/board/toradex/common/tdx-common.c
index 2284fcd..fadbe45 100644
--- a/board/toradex/common/tdx-common.c
+++ b/board/toradex/common/tdx-common.c
@@ -115,10 +115,11 @@
 
 		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");