K 10
svn:author
V 7
linimon
K 8
svn:date
V 27
2017-10-10T21:31:30.636567Z
K 7
svn:log
V 166
For ports that are explicitly enabled on armv6, also enable them
on armv7.  This has not been tested with an -exp run but should
"do no harm".

PR:		221894 (partial)

END