Re: [PATCH V3 00/14] arm64/sysreg: Convert TRBE registers to automatic generation