Index: libcfa/src/device/cpu.cfa
===================================================================
--- libcfa/src/device/cpu.cfa	(revision ab4a595eb104e311fb79078eb305e0bfee436b90)
+++ libcfa/src/device/cpu.cfa	(revision ddd2ec9d646ba47067feec6e4ae77e23aeecd234)
@@ -159,7 +159,5 @@
 
 	const char * _;
-	int cnt = read_width(buff, r - 1, &_);
-	/* paranoid */ verify(cnt == count_prefix_dirs("/sys/devices/system/cpu", "cpu"));
-	return cnt;
+	return read_width(buff, r - 1, &_);;
 }
 
@@ -238,4 +236,6 @@
 {
 	raw_cache_instance ** raw = alloc(cpus);
+
+	// TODO: this loop is broken, it only works if the present cpu start at 0 and are contiguous which is not guaranteed.
 	for(i; cpus) {
 		raw[i] = alloc(cache_levels);