Index: kernel/arch/ia32/src/boot/cboot.c
===================================================================
--- kernel/arch/ia32/src/boot/cboot.c	(revision bf25efb0b361ed9f7b43f5db17457fa376e1bd25)
+++ kernel/arch/ia32/src/boot/cboot.c	(revision 430afffc54ce3bea7363af4cd2694a8632a8347c)
@@ -39,4 +39,5 @@
 #include <config.h>
 #include <memstr.h>
+#include <func.h>
 
 /* This is a symbol so the type is only dummy. Obtain the value using &. */
@@ -69,4 +70,14 @@
 			init.tasks[i].addr = mods[i].start + 0x80000000;
 			init.tasks[i].size = mods[i].end - mods[i].start;
+
+			/* Copy command line, if available. */
+			if (mods[i].string) {
+				strncpy(init.tasks[i].name, mods[i].string,
+				    CONFIG_TASK_NAME_BUFLEN - 1);
+				init.tasks[i].name[CONFIG_TASK_NAME_BUFLEN - 1]
+				    = '\0';
+			} else {
+				init.tasks[i].name[0] = '\0';
+			}
 		}
 	} else {