diff --git a/hermit/arch/x86/kernel/processor.c b/hermit/arch/x86/kernel/processor.c
index 8cb1611d9..4b1d67f7b 100644
--- a/hermit/arch/x86/kernel/processor.c
+++ b/hermit/arch/x86/kernel/processor.c
@@ -252,6 +252,9 @@ static void set_pstate(int pstate)
 
 void dump_pstate(void)
 {
+	if (!has_est())
+		return
+
 	kprintf("P-State 0x%x - 0x%x, turbo 0x%x\n", min_pstate, max_pstate, turbo_pstate);
 	kprintf("PERF CTL 0x%llx\n", rdmsr(MSR_IA32_PERF_CTL));
 	kprintf("PERF STATUS 0x%llx\n", rdmsr(MSR_IA32_PERF_STATUS));
diff --git a/hermit/kernel/tasks.c b/hermit/kernel/tasks.c
index ede3ae3f8..00c1abd0f 100644
--- a/hermit/kernel/tasks.c
+++ b/hermit/kernel/tasks.c
@@ -412,8 +412,10 @@ out:
 	if (ret)
 		kfree(stack);
 
+#if 0
 	if (core_id != CORE_ID)
 		apic_send_ipi(core_id, 121);
+#endif
 
 	return ret;
 }
@@ -511,8 +513,10 @@ out:
 		kfree(counter);
 	}
 
+#if 0
 	if (core_id != CORE_ID)
 		apic_send_ipi(core_id, 121);
+#endif
 
 	return ret;
 }
diff --git a/hermit/usr/gcc b/hermit/usr/gcc
index 65a2efba8..9e33db9a5 160000
--- a/hermit/usr/gcc
+++ b/hermit/usr/gcc
@@ -1 +1 @@
-Subproject commit 65a2efba86f132e99afabedaf32ed069a74c3142
+Subproject commit 9e33db9a55112860a25fdbedb6de811c79410b71