Re: [PATCH v5 2/7] arm64/sysreg/tools: Update tools copy of sysreg.h