[PATCH v1 06/22] arm: socfpga: Changed system_manager_s10.c to system_manager_soc64.c