K 10
svn:author
V 4
ngie
K 8
svn:date
V 27
2016-05-22T08:42:45.433960Z
K 7
svn:log
V 103
Fix compiling with i386 and INVARIANTS

Fix broken KASSERT and remove broken device_printf (was bogus)

END