[PATCH v2 0/2] Enable sysreset support for SoCFPGA SoC64 platforms