K 10 svn:author V 3 bde K 8 svn:date V 27 1997-10-28T14:06:25.000000Z K 7 svn:log V 123 Don't #include in if KERNEL is defined. Fixed everything that depended on the nested include. END