Index: kernel/generic/include/cpu.h
===================================================================
--- kernel/generic/include/cpu.h	(revision dec16a201da62c0794357ded365e573a55387037)
+++ kernel/generic/include/cpu.h	(revision bd01a4e2eea1f1c2d0ae1323bcebe495b503e8a1)
@@ -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 bd01a4e2eea1f1c2d0ae1323bcebe495b503e8a1)
@@ -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 */