K 10
svn:author
V 6
philip
K 8
svn:date
V 27
2019-09-07T05:13:31.967464Z
K 7
svn:log
V 117
riscv: restore default HZ=1000, keep QEMU at HZ=100

This reverts r351918 and r351919.

Discussed with:	br, ian, imp

END