K 10
svn:author
V 6
brooks
K 8
svn:date
V 27
2020-03-06T23:31:09.033147Z
K 7
svn:log
V 128
Remove an apparently incorrect assertion.

Without this change mips64 fails to boot.

Discussed with:	markj
Sponsored by:	DARPA

END