mvebu_boot_wa_start
extern unsigned char mvebu_boot_wa_start[];
u32 code_len = mvebu_boot_wa_end - mvebu_boot_wa_start;
memcpy(sram_virt_base, &mvebu_boot_wa_start, code_len);