Re: [PATCH] arm64: dts: stratix10: Correct System Manager register size