diff --git a/elfloader-tool/src/arch-arm/64/mmu.c b/elfloader-tool/src/arch-arm/64/mmu.c
index e45000b1..1254a729 100644
--- a/elfloader-tool/src/arch-arm/64/mmu.c
+++ b/elfloader-tool/src/arch-arm/64/mmu.c
@@ -156,9 +156,7 @@ static inline uint64_t make_pte(paddr_t pa, uint8_t mem_attr_index)
     return xn
            | mask_pa(pa)
            | BIT(10) /* access flag */
-#if CONFIG_MAX_NUM_NODES > 1
            | (INNER_SHAREABLE << 8)
-#endif
            | (mem_attr_index << 2)
            | BIT(0); /* valid page/block mapping */
 }