K 10
svn:author
V 7
attilio
K 8
svn:date
V 27
2011-04-30T23:02:17.767299Z
K 7
svn:log
V 123
Remove the support for lazy cr3 switching from i386.
amd64 has already this micro-optimization removed.

Submitted by:	kib

END