diff --git a/hermit/arch/x86/include/asm/processor.h b/hermit/arch/x86/include/asm/processor.h
index 6eb6c92c1..ad3a1f999 100644
--- a/hermit/arch/x86/include/asm/processor.h
+++ b/hermit/arch/x86/include/asm/processor.h
@@ -172,7 +172,7 @@ extern "C" {
 // x86-64 specific MSRs
 
 /// APIC register
-#define MSR_APIC_BASE			0x0000001B
+#define MSR_APIC_BASE				0x0000001B
 /// extended feature register
 #define MSR_EFER				0xc0000080
 /// legacy mode SYSCALL target
@@ -182,13 +182,13 @@ extern "C" {
 /// compat mode SYSCALL target
 #define MSR_CSTAR				0xc0000083
 /// EFLAGS mask for syscall
-#define MSR_SYSCALL_MASK		0xc0000084
+#define MSR_SYSCALL_MASK			0xc0000084
 /// 64bit FS base
 #define MSR_FS_BASE				0xc0000100
 /// 64bit GS base
 #define MSR_GS_BASE				0xc0000101
 /// SwapGS GS shadow
-#define MSR_KERNEL_GS_BASE		0xc0000102
+#define MSR_KERNEL_GS_BASE			0xc0000102
 
 // MSR EFER bits
 #define EFER_SCE				(1 << 0)
diff --git a/hermit/kernel/main.c b/hermit/kernel/main.c
index 0d05b8dfb..24a66d36e 100644
--- a/hermit/kernel/main.c
+++ b/hermit/kernel/main.c
@@ -140,7 +140,7 @@ static int initd(void* arg)
 
 	//create_kernel_task(NULL, foo, "foo1", NORMAL_PRIO);
 	//create_kernel_task(NULL, foo, "foo2", NORMAL_PRIO);
-	create_user_task(NULL, "/bin/hello", argv1, NORMAL_PRIO);
+	//create_user_task(NULL, "/bin/hello", argv1, NORMAL_PRIO);
 	//create_user_task(NULL, "/bin/jacobi", argv2, NORMAL_PRIO);
 	//create_user_task(NULL, "/bin/jacobi", argv2, NORMAL_PRIO);
 	create_user_task(NULL, "/bin/stream", argv3, NORMAL_PRIO);