K 10 svn:author V 5 luigi K 8 svn:date V 27 2001-02-21T15:43:18.000000Z K 7 svn:log V 84 Always try to make the kernel, in case something has changed in the kernel sources. END