Index: kernel/generic/include/sysinfo/abi.h
===================================================================
--- kernel/generic/include/sysinfo/abi.h	(revision d0c82c531ddd91c5c32e571f69768c044cf234b2)
+++ kernel/generic/include/sysinfo/abi.h	(revision bf61d3ad9628d50dbbbcc790b6e57d85ff739092)
@@ -66,5 +66,5 @@
  */
 typedef struct {
-	size_t id;               /**< CPU ID as stored by kernel */
+	unsigned int id;         /**< CPU ID as stored by kernel */
 	bool active;             /**< CPU is activate */
 	uint16_t frequency_mhz;  /**< Frequency in MHz */