K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2016-07-09T21:14:59.752717Z
K 7
svn:log
V 280
Remove HZ=<various> from all armv6 configs, put HZ=1000 in std.armv6.
All armv6 processors are plenty fast enough for HZ=1000.

No changes are made for older arm systems, because some chips are a bit
wimpy for 1000 while others do fine, so it has to be set on a per-config
basis.

END