MT#55283 use intptr_t for pointer arith

Change-Id: Ie0f21a992a5a2de4b274e83f07cae30d0f68b276

daemon/kernel.c

@@ -71,7 +71,7 @@ static void *kernel_alloc(void) {
 	}
 
 	// find the aligned block
-	void *aligned = (void *) (((size_t) b + BUFFERPOOL_SHARD_SIZE - 1) & BUFFERPOOL_TOP_MASK);
+	void *aligned = (void *) (((intptr_t) b + BUFFERPOOL_SHARD_SIZE - 1) & BUFFERPOOL_TOP_MASK);
 
 	// place a pointer to the real beginning of the block just past the end, so we
 	// know what to free