mvebu_system_controller_set_cpu_boot_addr
void mvebu_system_controller_set_cpu_boot_addr(void *boot_addr);
mvebu_system_controller_set_cpu_boot_addr(mvebu_cortex_a9_secondary_startup);