K 10 svn:author V 3 alc K 8 svn:date V 27 2002-12-30T05:55:41.000000Z K 7 svn:log V 90 - Mark the kernel_map as a system map immediately after its creation. - Correct a cast. END