diff --git a/hermit/arch/x86/include/asm/processor.h b/hermit/arch/x86/include/asm/processor.h
index b5bdeb02d..12ab0d521 100644
--- a/hermit/arch/x86/include/asm/processor.h
+++ b/hermit/arch/x86/include/asm/processor.h
@@ -193,6 +193,8 @@ extern "C" {
 /// SwapGS GS shadow
 #define MSR_KERNEL_GS_BASE			0xc0000102
 
+#define MSR_IA32_MISC_ENABLE			0x000001a0
+
 // MSR EFER bits
 #define EFER_SCE				(1 << 0)
 #define EFER_LME				(1 << 8)
diff --git a/hermit/arch/x86/kernel/processor.c b/hermit/arch/x86/kernel/processor.c
index 7c4821708..c5aea2ac4 100644
--- a/hermit/arch/x86/kernel/processor.c
+++ b/hermit/arch/x86/kernel/processor.c
@@ -414,6 +414,8 @@ int cpu_detection(void) {
 	if (first_time) {
 		kprintf("CR0 0x%llx, CR4 0x%llx\n", read_cr0(), read_cr4());
 		kprintf("size of xsave_t: %d\n", sizeof(xsave_t));
+		if (has_msr())
+			kprintf("IA32_MISC_ENABLE 0x%llx\n", rdmsr(MSR_IA32_MISC_ENABLE));
 	}
 
 	return 0;