diff --git a/service/ptos/arch/amd64/cpu/init.c b/service/ptos/arch/amd64/cpu/init.c
index 0454beb..38be50b 100644
--- a/service/ptos/arch/amd64/cpu/init.c
+++ b/service/ptos/arch/amd64/cpu/init.c
@@ -7,7 +7,6 @@
  */
 
 #include <hal/kpcr.h>
-#include <hal/page.h>
 #include <ke/bugcheck.h>
 #include <machine/idt.h>
 #include <machine/trap.h>
@@ -91,7 +90,7 @@ HalKpcrP2Init(KPCR *Kpcr)
     );
 
     /* Setup interrupt stacks */
-    MdTssAllocIst(IST_NMI, PAGESIZE);
+    MdTssAllocIst(IST_NMI, 1024);
 
     /* Initialize the scheduler queue */
     SCHED_QUEUE_INIT(&Kpcr->SchedQueue);