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