RE: [PATCH v2 1/2] sysreset: socfpga: soc64: Rename SYSRESET SoCFPGA driver for S10 to SoC64