K 10
svn:author
V 6
tychon
K 8
svn:date
V 27
2014-06-16T22:59:18.455619Z
K 7
svn:log
V 83
Bring an overly enthusiastic KASSERT inline with the Intel SDM.

Reviewed by:	neel

END