__asm__ __volatile__("orr r0, r0, #1 << 5");
        /* SMI instruction to call ROM Code API */
        __asm__ __volatile__(".word 0xE1600070");
+       /* Set PLD_FWD bit in L2AUXCR (Cortex-A8 erratum 725233 workaround) */
+       __asm__ __volatile__("mov r12, #0x2");
+       __asm__ __volatile__("mrc p15, 1, r0, c9, c0, 2");
+       __asm__ __volatile__("orr r0, r0, #1 << 27");
+       /* SMI instruction to call ROM Code API */
+       __asm__ __volatile__(".word 0xE1600070");
        __asm__ __volatile__("mov r0, %0":"=r"(i));
        __asm__ __volatile__("mov r12, %0":"=r"(j));
 }