BOOT_FROM sd /* DDR2 init */ DATA 4 0xB8001010 0x00000304