:: commit b491fc5cc46c78b10cd3a5a0f9805ff0fe3d3f17

diff --git a/common/sys/idt.c b/common/sys/idt.c
index 0bacf94f..60391112 100644
--- a/common/sys/idt.c
+++ b/common/sys/idt.c
@@ -29,8 +29,6 @@ void init_flush_irqs(void) {
         dummy_idt[i].offset_hi = (uint32_t)((uintptr_t)dummy_isr >> 32);
 #endif
     }
-
-    pmm_free(dummy_idt, dummy_idt_size);
 }
 
 int irq_flush_type = IRQ_NO_FLUSH;