[v2 3/5] arm: socfpga: Changed system_manager_s10.c to system_manager_soc64.c