Index: kernel/generic/src/ipc/kbox.c
===================================================================
--- kernel/generic/src/ipc/kbox.c	(revision 07d4271f2d0447f764d751ed8f95104f720791d2)
+++ kernel/generic/src/ipc/kbox.c	(revision d71b0ded43394268820f3bd898484eac545e3538)
@@ -242,9 +242,9 @@
 	}
 
-	kobject_t *phone_obj = kobject_get(TASK, phone_handle,
-	    KOBJECT_TYPE_PHONE);
+	phone_t *phone = phone_from_kobject(
+	    kobject_get(TASK, phone_handle, KOBJECT_TYPE_PHONE));
 	/* Connect the newly allocated phone to the kbox */
 	/* Hand over phone_obj's reference to ipc_phone_connect() */
-	(void) ipc_phone_connect(phone_obj->phone, &task->kb.box);
+	(void) ipc_phone_connect(phone, &task->kb.box);
 
 	mutex_unlock(&task->kb.cleanup_lock);