mov     r3, r3, lsl #PMD_ORDER
 
        add     r0, r4, r3
-       rsb     r3, r3, #0x4000                 @ PTRS_PER_PGD*sizeof(long)
-       cmp     r3, #0x0800                     @ limit to 512MB
-       movhi   r3, #0x0800
-       add     r6, r0, r3
        mov     r3, r7, lsr #SECTION_SHIFT
        ldr     r7, [r10, #PROCINFO_IO_MMUFLAGS] @ io_mmuflags
        orr     r3, r7, r3, lsl #SECTION_SHIFT
 #else
        orr     r3, r3, #PMD_SECT_XN
 #endif
-1:     str     r3, [r0], #4
+       str     r3, [r0], #4
 #ifdef CONFIG_ARM_LPAE
        str     r7, [r0], #4
 #endif
-       add     r3, r3, #1 << SECTION_SHIFT
-       cmp     r0, r6
-       blo     1b
 
 #else /* CONFIG_DEBUG_ICEDCC || CONFIG_DEBUG_SEMIHOSTING */
        /* we don't need any serial debugging mappings */