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