diff --git a/os/ports/GCC/PPC/SPC56ELxx/core.s b/os/ports/GCC/PPC/SPC56ELxx/core.s
index 7e1cb2273..9a09f9c5b 100644
--- a/os/ports/GCC/PPC/SPC56ELxx/core.s
+++ b/os/ports/GCC/PPC/SPC56ELxx/core.s
@@ -194,8 +194,6 @@ _coreinit:
          * RAM clearing, this device requires a write to all RAM location in
          * order to initialize the ECC detection hardware, this is going to
          * slow down the startup but there is no way around.
-         * Note all registers are cleared in order to avoid possible problems
-         * with lockstep mode.
          */
 .clear_ecc:
         xor         %r0, %r0, %r0
diff --git a/os/ports/GCC/PPC/SPC56ELxx/ld/SPC56EL54_LSM.ld b/os/ports/GCC/PPC/SPC56ELxx/ld/SPC56EL54_LSM.ld
index 63d3e47fc..a714029b9 100644
--- a/os/ports/GCC/PPC/SPC56ELxx/ld/SPC56EL54_LSM.ld
+++ b/os/ports/GCC/PPC/SPC56ELxx/ld/SPC56EL54_LSM.ld
@@ -49,8 +49,8 @@ SECTIONS
         __ivpr_base__ = .;
         KEEP(*(.bam))
         KEEP(*(.coreinit))
-        KEEP(*(.crt0))
         KEEP(*(.handlers))
+        KEEP(*(.crt0))
         . = ALIGN(0x800);
         KEEP(*(.vectors))
     } > flash
diff --git a/os/ports/GCC/PPC/SPC56ELxx/ld/SPC56EL60_LSM.ld b/os/ports/GCC/PPC/SPC56ELxx/ld/SPC56EL60_LSM.ld
index f0f203783..87bfe5ad1 100644
--- a/os/ports/GCC/PPC/SPC56ELxx/ld/SPC56EL60_LSM.ld
+++ b/os/ports/GCC/PPC/SPC56ELxx/ld/SPC56EL60_LSM.ld
@@ -49,8 +49,8 @@ SECTIONS
         __ivpr_base__ = .;
         KEEP(*(.bam))
         KEEP(*(.coreinit))
-        KEEP(*(.crt0))
         KEEP(*(.handlers))
+        KEEP(*(.crt0))
         . = ALIGN(0x800);
         KEEP(*(.vectors))
     } > flash
diff --git a/os/ports/GCC/PPC/SPC56ELxx/ld/SPC56EL70_LSM.ld b/os/ports/GCC/PPC/SPC56ELxx/ld/SPC56EL70_LSM.ld
index e39e14b4e..0a905c499 100644
--- a/os/ports/GCC/PPC/SPC56ELxx/ld/SPC56EL70_LSM.ld
+++ b/os/ports/GCC/PPC/SPC56ELxx/ld/SPC56EL70_LSM.ld
@@ -49,8 +49,8 @@ SECTIONS
         __ivpr_base__ = .;
         KEEP(*(.bam))
         KEEP(*(.coreinit))
-        KEEP(*(.crt0))
         KEEP(*(.handlers))
+        KEEP(*(.crt0))
         . = ALIGN(0x800);
         KEEP(*(.vectors))
     } > flash