Index: kernel/generic/src/sysinfo/stats.c
===================================================================
--- kernel/generic/src/sysinfo/stats.c	(revision 597fa246c9481b40ae4d512256c4ceea4506b215)
+++ kernel/generic/src/sysinfo/stats.c	(revision 2df21755623b239a0d57f0639a0bfcf636cd3d5b)
@@ -384,5 +384,5 @@
 static bool produce_stats_ipcc_cb(cap_t *cap, void *arg)
 {
-	phone_t *phone = cap->kobject->phone;
+	phone_t *phone = (phone_t *) cap->kobject;
 	ipccs_state_t *state = (ipccs_state_t *) arg;