diff --git a/hermit/arch/x86/kernel/processor.c b/hermit/arch/x86/kernel/processor.c
index 32bfeff3a..0de73250e 100644
--- a/hermit/arch/x86/kernel/processor.c
+++ b/hermit/arch/x86/kernel/processor.c
@@ -237,6 +237,9 @@ static void set_max_pstate(void)
 
 void dump_pstate(void)
 {
+	if (!has_est())
+		return;
+
 	kprintf("P-State 0x%x - 0x%x\n", min_pstate, max_pstate);
 	kprintf("PERF CTL 0x%llx\n", rdmsr(MSR_IA32_PERF_CTL));
 	kprintf("PERF STATUS 0x%llx\n", rdmsr(MSR_IA32_PERF_STATUS));