K 10 svn:author V 3 jhb K 8 svn:date V 27 2000-11-10T21:52:04.000000Z K 7 svn:log V 85 Fix SMP kernel compiles by #include'ing machine/globals.h to get the cpuid variable. END