Index: src/cpu/cpu.c
===================================================================
--- src/cpu/cpu.c	(revision 673104e55052fd9a0ddb2b6c2cc8b47a15e3f204)
+++ src/cpu/cpu.c	(revision 121dab579121e6233e19a60f70cb8a478afc8f5c)
@@ -67,5 +67,5 @@
 		memsetb((__address) cpu_private_data, sizeof(cpu_private_data_t) * config.cpu_count, 0);
 		memsetb((__address) cpus, sizeof(cpu_t) * config.cpu_count, 0);
-    
+
 		for (i=0; i < config.cpu_count; i++) {
 			cpus[i].stack = (__u8 *) malloc(CPU_STACK_SIZE);