Index: kernel/generic/include/cpu.h
===================================================================
--- kernel/generic/include/cpu.h	(revision dec16a201da62c0794357ded365e573a55387037)
+++ kernel/generic/include/cpu.h	(revision 369a5f8a1a86047b7259dfe2c89e8b6f05751cbb)
@@ -77,5 +77,5 @@
 	unsigned int id;
 	
-	int active;
+	bool active;
 	int tlb_active;
 
Index: kernel/generic/include/sysinfo/abi.h
===================================================================
--- kernel/generic/include/sysinfo/abi.h	(revision dec16a201da62c0794357ded365e573a55387037)
+++ kernel/generic/include/sysinfo/abi.h	(revision 369a5f8a1a86047b7259dfe2c89e8b6f05751cbb)
@@ -66,4 +66,5 @@
 typedef struct {
 	unsigned int id;         /**< CPU ID as stored by kernel */
+	bool active;             /**< CPU is activate */
 	uint16_t frequency_mhz;  /**< Frequency in MHz */
 	uint64_t idle_ticks;     /**< Number of idle kernel quanta */
Index: kernel/generic/src/sysinfo/stats.c
===================================================================
--- kernel/generic/src/sysinfo/stats.c	(revision dec16a201da62c0794357ded365e573a55387037)
+++ kernel/generic/src/sysinfo/stats.c	(revision 369a5f8a1a86047b7259dfe2c89e8b6f05751cbb)
@@ -116,4 +116,5 @@
 		
 		stats_cpus[i].id = cpus[i].id;
+		stats_cpus[i].active = cpus[i].active;
 		stats_cpus[i].frequency_mhz = cpus[i].frequency_mhz;
 		stats_cpus[i].busy_ticks = cpus[i].busy_ticks;