Index: kernel/arch/amd64/src/pm.c
===================================================================
--- kernel/arch/amd64/src/pm.c	(revision 7473807b2cbcf501c8b807c52295d1ef0e1e9f37)
+++ kernel/arch/amd64/src/pm.c	(revision f959786633df7b137a1e39b67c43a12c1beb80fc)
@@ -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;
 	}