K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2008-04-03T06:14:23.000000Z
K 7
svn:log
V 217
KERNBASE + 0x00200000 is the same thing as KERNVIRTADDR on this
platform, so use the latter in preference to the former.  This makes
the fake_preload setup be the same between kb920x_machdep.c and
avila_machdep.c....

END