Index: libcfa/src/device/cpu.cfa
===================================================================
--- libcfa/src/device/cpu.cfa	(revision 733fd3d3d658902e1749ef4b1b321af4f3f33162)
+++ libcfa/src/device/cpu.cfa	(revision a8b06184ebbf9c3366ebd42987b066a439809b2b)
@@ -144,5 +144,5 @@
 // Count number of cpus in the system
 static int count_cpus(void) {
-	const char * fpath = "/sys/devices/system/cpu/possible";
+	const char * fpath = "/sys/devices/system/cpu/present";
 	int fd = open(fpath, 0, O_RDONLY);
 	/* paranoid */ verifyf(fd >= 0, "Could not open file %s", fpath);