Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision 42744880a09efbd22a7e49822241bb65a91cd197)
+++ generic/src/main/main.c	(revision ecbdc7245534ef719f1c33d657c2cee6ab034ab6)
@@ -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,