Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision 4acac8439ff99d7ea9865f2b81bc777c057b18c1)
+++ generic/src/main/main.c	(revision fcfac420803a43318bce80248d718b848e2bcaa3)
@@ -142,5 +142,5 @@
 
 	heap_size = CONFIG_HEAP_SIZE + (config.memory_size/FRAME_SIZE)*sizeof(frame_t);
-	kernel_size = ALIGN(hardcoded_ktext_size + hardcoded_kdata_size + heap_size, PAGE_SIZE);
+	kernel_size = ALIGN_UP(hardcoded_ktext_size + hardcoded_kdata_size + heap_size, PAGE_SIZE);
 	heap_delta = kernel_size - (hardcoded_ktext_size + hardcoded_kdata_size + heap_size);