Index: arch/amd64/src/mm/page.c
===================================================================
--- arch/amd64/src/mm/page.c	(revision 95498e5ceffe58b6aeaf97f1d9ab530773fb6ada)
+++ arch/amd64/src/mm/page.c	(revision 9371c301116efcd366e21f4bc55ae2528b3fbbec)
@@ -44,5 +44,5 @@
 
 	if (config.cpu_active == 1) {
-		dba = frame_alloc(FRAME_KA | FRAME_PANIC, 0);
+		dba = frame_alloc(FRAME_KA | FRAME_PANIC, ONE_FRAME);
 		memsetb(dba, PAGE_SIZE, 0);
 
@@ -67,5 +67,5 @@
 		 */
 
-		dba = frame_alloc(FRAME_KA | FRAME_PANIC, 0);
+		dba = frame_alloc(FRAME_KA | FRAME_PANIC, ONE_FRAME);
 		memcpy((void *)dba, (void *)bootstrap_dba , PAGE_SIZE);
 		write_cr3(KA2PA(dba));