diff --git a/board/icecube/icecube.c b/board/icecube/icecube.c
index 47b2195557920adc8f7a879bef8fb9f5fdebb75d..a9e4448f4d0d157cca8a1c479e3e2859a148648e 100644
--- a/board/icecube/icecube.c
+++ b/board/icecube/icecube.c
@@ -80,7 +80,7 @@ void lite5200b_wakeup(void)
 	/* jump back to linux kernel code */
 	linux_wakeup = SAVED_ADDR;
 	printf("\n\nLooks like we just woke, transferring control to 0x%08lx\n",
-			linux_wakeup);
+			(unsigned long)linux_wakeup);
 	linux_wakeup();
 }
 #else