K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2020-02-26T13:22:23.672125Z
K 7
svn:log
V 230
Teach the arm64 ident CPU code to print non-ID registers

Add support for non-ID registers when printing CPU information. This is
used with the cache type register to print details of the cache on boot.

Sponsored by:	Innovate UK

END
