3f08e378f00e ("arm64/sysreg: Standardise naming for ID_ISAR4_EL1")