Index: kernel/generic/src/cpu/cpu.c
===================================================================
--- kernel/generic/src/cpu/cpu.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/generic/src/cpu/cpu.c	(revision db3c88347157ed2aeffe98179283d9e4e0243edd)
@@ -63,13 +63,13 @@
 	if (config.cpu_active == 1) {
 #endif /* CONFIG_SMP */
-		
+
 		cpus = (cpu_t *) malloc(sizeof(cpu_t) * config.cpu_count,
 		    FRAME_ATOMIC);
 		if (!cpus)
 			panic("Cannot allocate CPU structures.");
-		
+
 		/* Initialize everything */
 		memsetb(cpus, sizeof(cpu_t) * config.cpu_count, 0);
-		
+
 		size_t i;
 		for (i = 0; i < config.cpu_count; i++) {
@@ -78,10 +78,10 @@
 			if (!stack_phys)
 				panic("Cannot allocate CPU stack.");
-			
+
 			cpus[i].stack = (uint8_t *) PA2KA(stack_phys);
 			cpus[i].id = i;
-			
+
 			irq_spinlock_initialize(&cpus[i].lock, "cpus[].lock");
-			
+
 			for (unsigned int j = 0; j < RQ_COUNT; j++) {
 				irq_spinlock_initialize(&cpus[i].rq[j].lock, "cpus[].rq[].lock");
@@ -89,19 +89,19 @@
 			}
 		}
-		
+
 #ifdef CONFIG_SMP
 	}
 #endif /* CONFIG_SMP */
-	
+
 	CPU = &cpus[config.cpu_active - 1];
-	
+
 	CPU->active = true;
 	CPU->tlb_active = true;
-	
+
 	CPU->idle = false;
 	CPU->last_cycle = get_cycle();
 	CPU->idle_cycles = 0;
 	CPU->busy_cycles = 0;
-	
+
 	cpu_identify();
 	cpu_arch_init();
@@ -113,5 +113,5 @@
 {
 	unsigned int i;
-	
+
 	for (i = 0; i < config.cpu_count; i++) {
 		if (cpus[i].active)
Index: kernel/generic/src/cpu/cpu_mask.c
===================================================================
--- kernel/generic/src/cpu/cpu_mask.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/generic/src/cpu/cpu_mask.c	(revision db3c88347157ed2aeffe98179283d9e4e0243edd)
@@ -55,5 +55,5 @@
 	assert(NULL != cpus);
 	assert(cpu_cnt <= config.cpu_count);
-	
+
 	for (size_t active_word = 0;
 		(active_word + 1) * word_bit_cnt <= cpu_cnt;
@@ -62,5 +62,5 @@
 		cpus->mask[active_word] = -1;
 	}
-	
+
 	size_t remaining_bits = (cpu_cnt % word_bit_cnt);
 	if (0 < remaining_bits) {
@@ -89,7 +89,7 @@
 {
 	assert(cpus);
-	
+
 	size_t word_cnt = cpu_mask_size() / word_size;
-		
+
 	for (size_t word = 0; word < word_cnt; ++word) {
 		cpus->mask[word] = 0;
@@ -102,5 +102,5 @@
 	size_t word = cpu_id / word_bit_cnt;
 	size_t word_pos = cpu_id % word_bit_cnt;
-	
+
 	cpus->mask[word] |= (1U << word_pos);
 }
@@ -111,5 +111,5 @@
 	size_t word = cpu_id / word_bit_cnt;
 	size_t word_pos = cpu_id % word_bit_cnt;
-	
+
 	cpus->mask[word] &= ~(1U << word_pos);
 }
@@ -120,5 +120,5 @@
 	size_t word = cpu_id / word_bit_cnt;
 	size_t word_pos = cpu_id % word_bit_cnt;
-	
+
 	return 0 != (cpus->mask[word] & (1U << word_pos));
 }
@@ -133,5 +133,5 @@
 			return false;
 	}
-	
+
 	return true;
 }