K 10
svn:author
V 3
mjg
K 8
svn:date
V 27
2020-01-19T17:05:26.586962Z
K 7
svn:log
V 140
cache: counter_u64_add_protected -> counter_u64_add

Fixes booting on RISC-V where it does happen to not be equivalent.

Reported by:	lwhsu

END