Index: arch/ia32/src/boot/boot.S
===================================================================
--- arch/ia32/src/boot/boot.S	(revision 361635cc8cbd2af7919fe3e68f9792ebe4770f2c)
+++ arch/ia32/src/boot/boot.S	(revision fde642915e1f68d137df99e51a40e19c02838fed)
@@ -40,6 +40,6 @@
 #
 kernel_image_start:
+	cli
 	call memmap_arch_init
-	cli
 	xorw %ax,%ax
 	movw %ax,%ds
Index: src/main/main.c
===================================================================
--- src/main/main.c	(revision 361635cc8cbd2af7919fe3e68f9792ebe4770f2c)
+++ src/main/main.c	(revision fde642915e1f68d137df99e51a40e19c02838fed)
@@ -115,5 +115,6 @@
  *
  */
-void main_bsp_separated_stack(void) {
+void main_bsp_separated_stack(void) 
+{
 	vm_t *m;
 	task_t *k;