zedboard书上的简单LED例子不能运行

大家好，这个是《Xilinx Zynq SoC与嵌入式Linux设计实战指南》第4章的例子"led_on",
但下载到zedboard后，led9并未如预期一样点亮，麻烦帮忙看一下。我已经正确的把生成的boot.bin复制到sd卡，并且正确的设置了jumper,SD卡启动。

.org 0
.text
.global _boot
.section .boot, "axS"

_boot:

            LDR     R0,=0x0F800071C     @ MIO_PIN_07 address
            LDR     R1,=0x0FFFFF600    
            STR     R1,[R0]

            LDR     R0,=0xE000A204     @ DIRM_0 address
            MOV     R1,#0x00000080
            STR     R1,[R0]

            LDR     R0,=0xE000A208     @ OEN_0 address
            MOV     R1,#0x00000080
            STR     R1,[R0]

            LDR     R0,=0xE000A040     @ DATA_0 address
            MOV     R1,#0x00000080     @Turn On LED
            STR     R1,[R0]                      

MAIN_LOOP:
            B       MAIN_LOOP

.end

SECTIONS
{
.boot 0x00000000: {
   *(.boot)
   *(.text)
   *(.gnu.linkonce.t.*)
}
}

the_ROM_image:
{
[bootloader] led_on.elf
}