Index: kernel/generic/src/cpu/cpu_mask.c
===================================================================
--- kernel/generic/src/cpu/cpu_mask.c	(revision 63e27efdf2fe6d3fa02bbb5ee1da00df5cc07e9d)
+++ kernel/generic/src/cpu/cpu_mask.c	(revision 3061bc129a855122d429fbba1e623a521aaa164c)
@@ -56,5 +56,5 @@
 	assert(cpu_cnt <= config.cpu_count);
 	
-	for (size_t active_word = 0; 
+	for (size_t active_word = 0;
 		(active_word + 1) * word_bit_cnt <= cpu_cnt;
 		++active_word) {
@@ -70,6 +70,6 @@
 }
 
-/** Sets bits corresponding to the active cpus, ie the first 
- * config.cpu_active cpus. 
+/** Sets bits corresponding to the active cpus, ie the first
+ * config.cpu_active cpus.
  */
 void cpu_mask_active(cpu_mask_t *cpus)