Index: kernel/generic/src/mm/backend_elf.c
===================================================================
--- kernel/generic/src/mm/backend_elf.c	(revision 36e8686222539ee64225807a6ff4153aaead898f)
+++ kernel/generic/src/mm/backend_elf.c	(revision 62cd66fd071922cb87171eb7cbad1f5246149f7e)
@@ -153,6 +153,7 @@
 			memcpy((void *) PA2KA(frame),
 			    (void *) (base + i * FRAME_SIZE), FRAME_SIZE);
-			if (entry->p_flags & PF_X)
+			if (entry->p_flags & PF_X) {
 				smc_coherence_block(PA2KA(frame), FRAME_SIZE);
+			}
 			dirty = true;
 		} else {
@@ -192,7 +193,8 @@
 		    (void *) (base + i * FRAME_SIZE + pad_lo),
 		    FRAME_SIZE - pad_lo - pad_hi);
-		if (entry->p_flags & PF_X)
+		if (entry->p_flags & PF_X) {
 			smc_coherence_block(PA2KA(frame) + pad_lo, FRAME_SIZE -
 			    pad_lo - pad_hi);
+		}
 		memsetb((void *) PA2KA(frame), pad_lo, 0);
 		memsetb((void *) (PA2KA(frame) + FRAME_SIZE - pad_hi), pad_hi,