--- a/packages/hal/arm/at91/eb40a/current/include/hal_platform_setup.h
+++ b/packages/hal/arm/at91/eb40a/current/include/hal_platform_setup.h
@@ -11,7 +11,7 @@
 // ####ECOSGPLCOPYRIGHTBEGIN####                                            
 // -------------------------------------------                              
 // This file is part of eCos, the Embedded Configurable Operating System.   
-// Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003 Free Software Foundation, Inc.
+// Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2009 Free Software Foundation, Inc.
 //
 // eCos is free software; you can redistribute it and/or modify it under    
 // the terms of the GNU General Public License as published by the Free     
@@ -57,7 +57,7 @@
 
         .macro  _led_init
         ldr     r0,=AT91_PIO
-        mov     r1,#0x000F0000
+        ldr     r1,=0x000F0000
         str     r1,[r0,#AT91_PIO_PER]
         str     r1,[r0,#AT91_PIO_OER]
         _led    0
@@ -66,9 +66,9 @@
         
         .macro _led y
         ldr     r0,=AT91_PIO
-        mov     r1,#0x000F0000
+        ldr     r1,=0x000F0000
         str     r1,[r0,#AT91_PIO_SODR]
-        mov     r1,#(\y<<16)
+        ldr     r1,=(\y<<16)
         str     r1,[r0,#AT91_PIO_CODR]
 #if 0                        
         mov     r0,#0x00100000