diff --git a/hermit/arch/x86/kernel/apic.c b/hermit/arch/x86/kernel/apic.c
index 208fc26f9..fa6d77c87 100644
--- a/hermit/arch/x86/kernel/apic.c
+++ b/hermit/arch/x86/kernel/apic.c
@@ -815,6 +815,7 @@ void shutdown_system(void)
 	if (if_bootprocessor) {
 		kprintf("Try to shutdown HermitCore\n");
 
+		//vma_dump();
 		dump_pstate();
 
 		while(atomic_int32_read(&cpu_online) != 1)