Index: libcfa/src/device/cpu.cfa
===================================================================
--- libcfa/src/device/cpu.cfa	(revision 72bd9cd6c750575dac09570b2eaffbb25ee78407)
+++ libcfa/src/device/cpu.cfa	(revision 36a05d7487d931cd7a2061e8d8591e698f2c4f83)
@@ -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);