K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-10-03T18:00:10.337871Z
K 7
svn:log
V 138
Add the Cortex-A{53,57,72} ID register values. These can all run 32-bit
code so could run a 32-bit kernel.

Sponsored by:	ABT Systems Ltd

END