K 10 svn:author V 6 marcel K 8 svn:date V 27 2010-03-20T05:06:47.873792Z K 7 svn:log V 112 Rather than assume we need to wire the first 256MB, wire the 256MB that contains the entry point of the kernel. END