Index: kernel/generic/src/cap/cap.c
===================================================================
--- kernel/generic/src/cap/cap.c	(revision 5e801dccc49faadcb18cd8ddee6200633e8f11b8)
+++ kernel/generic/src/cap/cap.c	(revision 9be2358aadbef3865ee2b3ab546d8b1f56d79cd6)
@@ -88,6 +88,6 @@
 #include <stdlib.h>
 
-#define CAPS_START	(CAP_NIL + 1)
-#define CAPS_SIZE	(INT_MAX - CAPS_START)
+#define CAPS_START	((intptr_t) CAP_NIL + 1)
+#define CAPS_SIZE	(INT_MAX - (int) CAPS_START)
 #define CAPS_LAST	(CAPS_SIZE - 1)