Index: kernel/generic/src/cap/cap.c
===================================================================
--- kernel/generic/src/cap/cap.c	(revision 6abfd250b332c7fec99a5c8647d7dc3d22442cb3)
+++ kernel/generic/src/cap/cap.c	(revision dd20cbb2102cf289216c9c608ceeb8cdca8749b5)
@@ -117,6 +117,8 @@
 		cap_t *cap = &task->cap_info->caps[handle];
 		if (cap->type > CAP_TYPE_ALLOCATED) {
-			if (cap->can_reclaim && cap->can_reclaim(cap))
+			if (cap->can_reclaim && cap->can_reclaim(cap)) {
+				list_remove(&cap->link);
 				cap_initialize(cap, handle);
+			}
 		}
 		if (cap->type == CAP_TYPE_INVALID) {