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