RE: [PATCH v1 11/16] arm: socfpga: soc64: Add ATF support for Reset Manager driver