fix: memory: use 1024 instead of 4096 when use 32bit ptr

src/memory/page.c

@@ -57,7 +57,7 @@ void *alloc_pages(size_t size)
 		current_page_table[i] =
 		    ((uint32_t)frame & PAGE_MASK) | INIT_FLAGS;
 	}
-	return (void *)(((current_pd_index * 1024) + index) * PAGE_SIZE);
+	return (void *)(((current_pd_index * 1024) + index) * 1024);
 }
 
 int free_pages(void *page_ptr, size_t size)