Index: kernel/arch/amd64/src/pm.c
===================================================================
--- kernel/arch/amd64/src/pm.c	(revision d2c5159dca2974a0e2e4741ff2b4d8235af62f8b)
+++ kernel/arch/amd64/src/pm.c	(revision 8a1be7692f8710c1044d21f081dc5cffc0d5c33d)
@@ -166,7 +166,6 @@
 {
 	idescriptor_t *d;
-	unsigned int i;
-
-	for (i = 0; i < IDT_ITEMS; i++) {
+
+	for (unsigned i = 0; i < IDT_ITEMS; i++) {
 		d = &idt[i];
 
@@ -176,4 +175,7 @@
 		d->present = 1;
 		d->type = AR_INTERRUPT;  /* masking interrupt */
+
+		d->dpl = PL_KERNEL;
+		d->ist = 0;
 	}