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