[PATCH kernel-4.19] arm/ras: Report ARM processor information to userspace