Index: generic/src/main/kinit.c
===================================================================
--- generic/src/main/kinit.c	(revision e07fe0c1834e24beaa907000673e1e37acbc7c7d)
+++ generic/src/main/kinit.c	(revision dbb688616f86482bdf0241f217eaf220fbbe49d7)
@@ -85,5 +85,5 @@
 		 * Just a beautification.
 		 */
-		if (t = thread_create(kmp, NULL, TASK, 0)) {
+		if ((t = thread_create(kmp, NULL, TASK, 0))) {
 			spinlock_lock(&t->lock);
 			t->flags |= X_WIRED;
@@ -113,5 +113,5 @@
 		for (i = 0; i < config.cpu_count; i++) {
 
-			if (t = thread_create(kcpulb, NULL, TASK, 0)) {
+			if ((t = thread_create(kcpulb, NULL, TASK, 0))) {
 				spinlock_lock(&t->lock);			
 				t->flags |= X_WIRED;
@@ -134,5 +134,5 @@
 	 * Create kernel console.
 	 */
-	if (t = thread_create(kconsole, "kconsole", TASK, 0))
+	if ((t = thread_create(kconsole, "kconsole", TASK, 0)))
 		thread_ready(t);
 	else panic("thread_create/kconsole\n");