Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision 42744880a09efbd22a7e49822241bb65a91cd197)
+++ generic/src/main/main.c	(revision 0882a9a17a26cf3ed328548c95dfadf23263a59f)
@@ -116,6 +116,6 @@
 	stackaddr = config.base + config.kernel_size;
 	/* Avoid placing kernel on top of init */
-	if (overlaps(stackaddr,stackaddr+CONFIG_STACK_SIZE,
-		     config.init_addr, config.init_addr+config.init_size)) {
+	if (overlaps(stackaddr,CONFIG_STACK_SIZE,
+		     config.init_addr, config.init_size)) {
 		
 		stackaddr = ALIGN_UP(config.init_addr+config.init_size,