arm: socfpga: fix fetching cpu1start_addr for SMP