Index: kernel/generic/include/sysinfo/abi.h
===================================================================
--- kernel/generic/include/sysinfo/abi.h	(revision bd01a4e2eea1f1c2d0ae1323bcebe495b503e8a1)
+++ kernel/generic/include/sysinfo/abi.h	(revision ffe4a87f6f04e3b1afccf14bda789427236053b1)
@@ -38,5 +38,5 @@
 
 /** Number of load components */
-#define LOAD_STEPS        3
+#define LOAD_STEPS  3
 
 /** Maximum task name size */
@@ -65,5 +65,5 @@
  */
 typedef struct {
-	unsigned int id;         /**< CPU ID as stored by kernel */
+	size_t id;               /**< CPU ID as stored by kernel */
 	bool active;             /**< CPU is activate */
 	uint16_t frequency_mhz;  /**< Frequency in MHz */