K 10 svn:author V 5 peter K 8 svn:date V 27 2003-10-10T17:43:42.000000Z K 7 svn:log V 173 Move the pmap_kenter(KERNBASE, 0) a bit earlier so that it works for the hasbrokenint12 tunable case too. (with some related and unrelated style fixes) Submitted by: bde END